|
Titre :
|
Lambda-calcul, types et modèles
|
|
Auteurs :
|
Jean-Louis Krivine, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Mention d'édition :
|
Nouv. éd.
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1998
|
|
ISBN/ISSN/EAN :
|
978-2-225-82091-5
|
|
Format :
|
184 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511 (Logique mathématique, Jeux mathématiques)
|
|
Mots-clés:
|
;
informatique
;
programmation
;
théorie
|
|
Résumé :
|
Introduction à divers aspects du lambda-calcul, inventé en 1930, et considérablement développé depuis, à cause de sa capacité à modéliser les langages de programmation fonctionnels.
|
