Re: Lambda calcul raccoleur

Retourner au contenu associé (journal : Lambda calcul)

[^] # Re: Lambda calcul raccoleur

Posté par free2.org le 03 octobre 2003 à 19:19. En réponse au journal Lambda calcul. Évalué à 3.

Si, tu as juste été trompé par un titre raccoleur (classique dans une revue commerciale) de la revue "Science et vie"
http://www.afia.polytechnique.fr/node.php?lang=en&node=246(...)

une des démonstrations de Krivine que la "logique" est équivalente au lambda calcul
http://www.pps.jussieu.fr/sepps/abstract/06_0209ln_Laurent.html(...)