Titre :	Introduction to combinators and lambda-calculus
Type de document :	texte imprimé
Auteurs :	Hindley, J. Roger ; Seldin, Jonathan P.
Editeur :	Cambridge University Press
Année de publication :	1986
Collection :	London Mathematical Society Student Texts num. 01
Importance :	viii - 360 p.
ISBN/ISSN/EAN :	978-0-521-31839-6
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
Mots-clés :	type assignment  models  lambda calculus  combinatory logic
Index. décimale :	03C Monographie

Introduction to combinators and lambda-calculus [texte imprimé] / Hindley, J. Roger ; Seldin, Jonathan P. . - [S.l.] : Cambridge University Press, 1986 . - viii - 360 p.. - (London Mathematical Society Student Texts; 01) .
ISBN : 978-0-521-31839-6
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
Mots-clés :	type assignment  models  lambda calculus  combinatory logic
Index. décimale :	03C Monographie