Lambda-calcul : types et modèles

Lambda-calcul : types et modèles

Enregistré dans:
Détails bibliographiques
Auteur principal : Krivine Jean-Louis (Auteur)
Format : Livre
Langue : français
Titre complet : Lambda-calcul : types et modèles / Jean-Louis Krivine,...
Publié : Paris, Milan, Barcelone [etc.] : Masson , 1990
Description matérielle : 1 vol. (VIII-176 p.)
Collection : E.R.I. Etudes et recherches en informatique
Sujets :
Logique mathématique
Mathématiques > Informatique
Logique combinatoire
Lambda-calcul
Description
Bibliographie : Bibliogr. p. [167]-170. Index
ISBN : 2-225-82091-0