2 résultat(s) recherche sur le mot-clé 'functor'

Categories, types, and structures / Asperti, Andrea

Public ISBD Titre : Categories, types, and structures : an introduction to category theory for the working computer scientist Type de document : texte imprimé Auteurs : Asperti, Andrea ; Longo, Giuseppe Editeur : Cambridge, MA : The Mit Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : vii, 293 p. ISBN/ISSN/EAN : 978-0-262-01125-9 Note générale : Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A Categories, types, and structures : an introduction to category theory for the working computer scientist [texte imprimé] / Asperti, Andrea ; Longo, Giuseppe . - Cambridge, MA : The Mit Press, 1991 . - vii, 293 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-01125-9 Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13751	18A43	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Deformations of algebraic schemes / Sernesi, Edoardo

Public ISBD Titre : Deformations of algebraic schemes Type de document : texte imprimé Auteurs : Sernesi, Edoardo Editeur : Springer-Verlag Année de publication : 2006 Collection : Grundlehren der Mathematischen Wissenschaften, ISSN 0072-7830 num. 334 ISBN/ISSN/EAN : 978-3-540-30608-5 Note générale : commande C. Anné Langues : Anglais Catégories : 14-XX Algebraic geometry:14BXX Local theory:14B12 Local deformation theory, Artin approximation, etc. 14-XX Algebraic geometry:14DXX Families, fibrations:14D15 Formal methods; deformations Mots-clés : scheme  obstruction  functor  family  deformation Index. décimale : 14C Monographie Deformations of algebraic schemes [texte imprimé] / Sernesi, Edoardo . - [S.l.] : Springer-Verlag, 2006. - (Grundlehren der Mathematischen Wissenschaften, ISSN 0072-7830; 334) . ISBN : 978-3-540-30608-5 commande C. Anné Langues : Anglais Catégories : 14-XX Algebraic geometry:14BXX Local theory:14B12 Local deformation theory, Artin approximation, etc. 14-XX Algebraic geometry:14DXX Families, fibrations:14D15 Formal methods; deformations Mots-clés : scheme  obstruction  functor  family  deformation Index. décimale : 14C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17891	14C258	imprimé / autre	CRDM	14/GEOMETRIE ALGEBRIQUE	Disponible