A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'natural transformations'
Affiner la recherche Générer le flux rss de la recherche
Categories, allegories / Freyd, Peter J.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14599 18A60 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible Categories, types, and structures / Asperti, Andrea
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 SemanticsMots-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 SemanticsMots-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