Indexation D001383
D000100 Ouvrages de la bibliothèque en indexation D001383 (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[...]
