4 résultat(s) recherche sur le mot-clé 'semantics'

an Introduction to semantics / Chierchia, Gennaro

Public ISBD Titre : an Introduction to semantics Type de document : texte imprimé Auteurs : Chierchia, Gennaro ; Sally McConnell-Ginet Editeur : Cambridge, MA : MIT Press Année de publication : 1992 Collection : meaning and grammar Importance : xiii - 476 p. ISBN/ISSN/EAN : 978-0-262-03162-2 Langues : Anglais Mots-clés : semantics Index. décimale : IRIN an Introduction to semantics [texte imprimé] / Chierchia, Gennaro ; Sally McConnell-Ginet . - Cambridge, MA : MIT Press, 1992 . - xiii - 476 p.. - (meaning and grammar) . ISBN : 978-0-262-03162-2 Langues : Anglais Mots-clés : semantics Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12992	IRIN/68C37	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

the Lambda calculus / H. P. Barendregt

Public ISBD Titre : the Lambda calculus : its syntax and semantics Type de document : texte imprimé Auteurs : H. P. Barendregt Mention d'édition : rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2001 Collection : Studies in Logic and the Foundations of Mathematics num. 103 Importance : xv - 621p. ISBN/ISSN/EAN : 978-0-444-87508-2 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 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie the Lambda calculus : its syntax and semantics [texte imprimé] / H. P. Barendregt  . -  rev. ed. . - Amtsterdam : North-Holland Publishing Company, 2001 . - xv - 621p.. - (Studies in Logic and the Foundations of Mathematics; 103) . ISBN : 978-0-444-87508-2 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 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : models  type-free lambda calculus  reduction systems  semantics  syntax Index. décimale : 68C Monographie

Exemplaires

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

the Syntax and semantics of infinitary languages / Barwise, J.

Public ISBD Titre : the Syntax and semantics of infinitary languages Type de document : texte imprimé Auteurs : Barwise, J. Editeur : Berlin-Heidelberg-New York : Springer-Verlag Année de publication : 1968 Importance : IV - 268 p. Langues : Anglais Mots-clés : infinitary languages  semantics  syntax Index. décimale : LNM the Syntax and semantics of infinitary languages [texte imprimé] / Barwise, J. . - Berlin-Heidelberg-New York : Springer-Verlag, 1968 . - IV - 268 p. Langues : Anglais Mots-clés : infinitary languages  semantics  syntax Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13937	LNM/72	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Selected papers on computer languages / Donald E. Knuth

Public ISBD Titre : Selected papers on computer languages Type de document : texte imprimé Auteurs : Donald E. Knuth Editeur : Stanford, California : CSLI Publications, Center for the Study of Language and Information Année de publication : 2003 Collection : CSLI lecture notes num. 139 Importance : xvi, 594 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-57586-382-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B60 Collections of reprinted articles 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 68-XX Computer science :68-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : programming language  BNF  Algol  Fortran  syntax  semantics  compiler  programming history  attribute grammars  automata Index. décimale : 01- Selected papers on computer languages [texte imprimé] / Donald E. Knuth . - Stanford, California : CSLI Publications, Center for the Study of Language and Information, 2003 . - xvi, 594 p. : ill. ; 24 cm. - (CSLI lecture notes; 139) . ISBN : 978-1-57586-382-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B60 Collections of reprinted articles 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 68-XX Computer science :68-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : programming language  BNF  Algol  Fortran  syntax  semantics  compiler  programming history  attribute grammars  automata Index. décimale : 01-

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18533	01 KNU	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible