Titre :	Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn
Type de document :	texte imprimé
Auteurs :	Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur
Editeur :	Cambridge University Press
Année de publication :	2013
Collection :	Perspectives in Logic
Importance :	xxii - 833 p.
ISBN/ISSN/EAN :	978-0-521-76614-2
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
Mots-clés :	mathematical logic  Lambda calculus
Index. décimale :	03B Publication collective

Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn [texte imprimé] / Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur . - [S.l.] : Cambridge University Press, 2013 . - xxii - 833 p.. - (Perspectives in Logic) .
ISBN : 978-0-521-76614-2
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
Mots-clés :	mathematical logic  Lambda calculus
Index. décimale :	03B Publication collective