Lambda calculus with types
Barendregt, Henk (Principal) ; Dekkers, Wil (Co-auteur) ; Statman, Richard (Co-auteur) ; Alessi, Fabio (Contributeur) ; Bezem, Marc (Contributeur) ; Cardone, Felice (Contributeur) ; Coppo, Mario (Contributeur) ; Dezani-Ciancaglini, Mariangiola (Contributeur) ; Dowek, Gilles (Contributeur) ; Ghilezan, Silvia (Contributeur) ; Honsell, Furio (Contributeur) ; Moortgat, Michael (Contributeur) ; Severi, Paula (Contributeur) ; Urzyczyn, Pawel (Contributeur)
Cambridge University Press;Association for Symbolic Logic
2013
xxii; 833 p.
978-0-521-76614-2
00038882
lambda calcul # lambda-calcul simplement typé # type récursif # type intersection
Ville d'édition : Cambridge ; New York
Pays d'édition : Grande-Bretagne ; États-Unis
Langue : Anglais
EAN13 : 9780521766142
Collation : 26 cm#rel.#index
Collection : Perspectives in logic
Localisation : Ouvrage RdC (BARE)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00038882 | [disponible] |