Auteur André Chauvin
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
texte imprimé
A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs. Leurs auteurs sont partis de la même motivation: don[...]
