| 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 |
Affiner la rechercheLambda calculus with types / Henk Barendregt
