• # Il et il a raison

    Posté par (site web personnel) . En réponse au message [Liberté] Google pense pour nous. Évalué à 1.

    Il te manque le mot "naturelle" ou "natural".

    La réduction est un mot propre a lambda calcul, alors que la déduction est un mot de logique (et même si thèse de Church, blah blah, c'est pas un mot directement lié avec une fréquence suffisante pour empêcher la correction automatique)