Basic simple type theory / Hindley, J. Roger

Public ISBD Titre : Basic simple type theory Type de document : texte imprimé Auteurs : Hindley, J. Roger Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Collection : Cambridge Tracts in Theoretical Computer Science num. 42 Importance : xi - 186 p. ISBN/ISSN/EAN : 978-0-521-46518-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic) 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 : polymorphic theories cit?dans...  functional programming language  intuitionistic logic  type-checking algorithm  type-assignment  lambda-calculus  type-theory Index. décimale : 03C Monographie Basic simple type theory [texte imprimé] / Hindley, J. Roger . - Cambridge : Cambridge University Press, 1997 . - xi - 186 p.. - (Cambridge Tracts in Theoretical Computer Science; 42) . ISBN : 978-0-521-46518-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic) 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 : polymorphic theories cit?dans...  functional programming language  intuitionistic logic  type-checking algorithm  type-assignment  lambda-calculus  type-theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13413	03C01	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Combinatory logic. Vol. II / Curry, Haskell B.

Public ISBD Titre : Combinatory logic. Vol. II Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 65 Importance : xv - 520 p. ISBN/ISSN/EAN : 978-0-7204-2208-5 Langues : Anglais Catégories : 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 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie Combinatory logic. Vol. II [texte imprimé] / Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 520 p.. - (Studies in Logic and the Foundations of Mathematics; 65) . ISBN : 978-0-7204-2208-5 Langues : Anglais Catégories : 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 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11694	03C150	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Introduction to combinators and lambda-calculus / Hindley, J. Roger

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16612	03C163	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Introduction to combinatory logic / Hindley, J. Roger

Public ISBD Titre : Introduction to combinatory logic Type de document : texte imprimé Auteurs : Hindley, J. Roger ; Seldin, J. P. ; Lercher, B. Editeur : Cambridge University Press Année de publication : 1972 Collection : London Mathematical Society Lecture Note Series. num. 07 Importance : 170 p. ISBN/ISSN/EAN : 978-0-521-09697-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : mathematical logic  recursion theory  combinatory logic Index. décimale : 03C Monographie Introduction to combinatory logic [texte imprimé] / Hindley, J. Roger ; Seldin, J. P. ; Lercher, B. . - [S.l.] : Cambridge University Press, 1972 . - 170 p.. - (London Mathematical Society Lecture Note Series.; 07) . ISBN : 978-0-521-09697-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : mathematical logic  recursion theory  combinatory logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
904	03C105	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1