Coherence for tricategories / Gordon, Robert

Public ISBD Titre : Coherence for tricategories Type de document : texte imprimé Auteurs : Gordon, Robert, Auteur ; A.J. Power, Auteur ; Ross Street Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1195 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 558 Importance : 81 p. ISBN/ISSN/EAN : 978-0-8218-0344-8 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18DXX Categories with structure 55-XX Algebraic topology:55UXX Applied homological algebra and category theory :55U35 Abstract and axiomatic homotopy theory 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : Gray category  higher-dimensional equivalences  bicategory  algebraic homotopy types  tricategories  tensor product Index. décimale : Mem Coherence for tricategories [texte imprimé] / Gordon, Robert, Auteur ; A.J. Power, Auteur ; Ross Street . - Providence, R.I. : American Mathematical Society, 1195 . - 81 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 558) . ISBN : 978-0-8218-0344-8 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18DXX Categories with structure 55-XX Algebraic topology:55UXX Applied homological algebra and category theory :55U35 Abstract and axiomatic homotopy theory 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : Gray category  higher-dimensional equivalences  bicategory  algebraic homotopy types  tricategories  tensor product Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19663	Mem/558	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Information systems / Sernadas, A. Ed.

Public ISBD Titre : Information systems : theoritical and formal aspects Titre original : proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 Type de document : texte imprimé Auteurs : Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. Editeur : North-Holland Année de publication : 1985 Importance : x - 236 p. ISBN/ISSN/EAN : 978-0-444-87706-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : barcelona (spain)  proceedings  database theory  information systems  computer science Index. décimale : 68B Publication collective Information systems = proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 : theoritical and formal aspects [texte imprimé] / Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. . - [S.l.] : North-Holland, 1985 . - x - 236 p. ISBN : 978-0-444-87706-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : barcelona (spain)  proceedings  database theory  information systems  computer science Index. décimale : 68B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15820	68B28	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible
15819	68B28	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Temporal logic of programs / Kröger, Fred

Public ISBD Titre : Temporal logic of programs Type de document : texte imprimé Auteurs : Kröger, Fred Editeur : Springer-Verlag Année de publication : 1987 Collection : EATCS Monographs on Theoretical Computer Science num. 08 Importance : viii - 148 p. ISBN/ISSN/EAN : 978-3-540-17030-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie Temporal logic of programs [texte imprimé] / Kröger, Fred . - [S.l.] : Springer-Verlag, 1987 . - viii - 148 p.. - (EATCS Monographs on Theoretical Computer Science; 08) . ISBN : 978-3-540-17030-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15823	03C154	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	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

---

page 1/1