6 résultat(s) recherche sur le mot-clé 'combinatory logic'

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

Basic proof theory / Troelstra, A.

Public ISBD Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Tracts in Computer Sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 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 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H.  . -  2nd ed. . - Cambridge : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) . ISBN : 978-0-521-77911-1 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 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien

Public ISBD Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis Curien Mention d'édition : 2nd ed. Editeur : Birkhäuser Verlag Année de publication : 1993 Collection : Progress in Theoretical Computer Science. Importance : xx - 403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis Curien  . -  2nd ed. . - [S.l.] : Birkhäuser Verlag, 1993 . - xx - 403 p.. - (Progress in Theoretical Computer Science.) . ISBN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13096	68C49	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Domains and lambda-calculi / Roberto M. Amadio

Public ISBD Titre : Domains and lambda-calculi Type de document : texte imprimé Auteurs : Roberto M. Amadio ; Pierre-Louis Curien Editeur : Cambridge : Cambridge University Press Année de publication : 1998 Collection : Cambridge Tracts in Theoretical Computer Science num. 46 Importance : xvi - 484 p. ISBN/ISSN/EAN : 978-0-521-62277-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : semantic  combinatory logic Index. décimale : 68C Monographie Domains and lambda-calculi [texte imprimé] / Roberto M. Amadio ; Pierre-Louis Curien . - Cambridge : Cambridge University Press, 1998 . - xvi - 484 p.. - (Cambridge Tracts in Theoretical Computer Science; 46) . ISBN : 978-0-521-62277-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : semantic  combinatory logic Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13146	68C53	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

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

Permalink