A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Pierre-Louis Curien
Documents disponibles écrits par cet auteur
Affiner la rechercheCategorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13096 68C49 imprimé / autre CRDM 68/INFORMATIQUE Disponible
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 SemanticsMots-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 SemanticsMots-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
Titre : Interactive models of computation and program behavior Type de document : texte imprimé Auteurs : Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Krivine, Jean-Louis, Auteur Editeur : Paris : Société mathématique de France Année de publication : 2009 Collection : Panoramas et synthèses, ISSN 1272-3835 num. 27 Importance : xvi, 275 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-85629-273-0 Langues : Anglais Catégories : 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:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Interactive models of computation and program behavior [texte imprimé] / Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Krivine, Jean-Louis, Auteur . - Paris : Société mathématique de France, 2009 . - xvi, 275 p. : fig. ; 24 cm. - (Panoramas et synthèses, ISSN 1272-3835; 27) .
ISBN : 978-2-85629-273-0
Langues : Anglais
Catégories : 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:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18890 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 21864 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
