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