Interactive models of computation and program behavior / Pierre-Louis Curien

Public ISBD 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 Semantics Mots-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 Semantics Mots-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

---

page 1/1