Lambda-calcul, type et modèles
De J.L Krivine aux éditions Masson.
Un auteur qui fait rêver, professeur à l'université Paris-VII, ~krivine.
Krivine est le père du nouveau point de vue sur la théorie, notamment sur les correspondances entre informatique et mathématique.
Un très bon ouvrage, très complet mais qui n'explique pas assez les conséquences ses travaux à mon goûts, notamment la possible interprétation en psychologie ou en physiologie.
Un livre qui mériterait une réédition avec un appendix dénotant les conséquences philosophiques des recherches de Krivine.
Une mise à jour de ce livre est gratuitement disponible (en anglais) : Lambda-calculus, types and models Ellis Horwood (1993) (mise à jour 3 novembre 2011)
Par Jérôme Guibert, dans Science