Lambda calculus with types
Barendregt, Henk (Principal) ; Dekkers, Wil (Co-auteur) ; Statman, Richard (Co-auteur) ; Alessi, Fabio (Contributor) ; Bezem, Marc (Contributor) ; Cardone, Felice (Contributor) ; Coppo, Mario (Contributor) ; Dezani-Ciancaglini, Mariangiola (Contributor) ; Dowek, Gilles (Contributor) ; Ghilezan, Silvia (Contributor) ; Honsell, Furio (Contributor) ; Moortgat, Michael (Contributor) ; Severi, Paula (Contributor) ; Urzyczyn, Pawel (Contributor)
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
Publisher City : Cambridge ; New York
Publisher country : Grande-Bretagne ; États-Unis
Language : English
EAN13 : 9780521766142
Collation : 26 cm#rel.#index
Series : Perspectives in logic
Location : Ouvrage RdC (BARE)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00038882 | [available] |