H Interactive models of computation and program behavior
Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André
Société mathématique de France
2009
xvi, 275 p. ; 24 cm
9782856292730
46298
théorie de la démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 46298 | 1037741 | GALERIE |
Type de doc : A
Ville d'édition : Paris
Pays d'édition : fr
Langue ouvrage : eng
Collection : Panoramas et synthèses
N° dans la collection : 027
ISSN Collection : 1272-3835
Bibliographie : Notes bibliogr.
Class. Math. 2000 : 03F05 ; 03F52 ; 68Q55 ; 03B40 ; 03B70 ; 03G30 ; 68N18 ; 68N20
Lien SUDOC : https://www.sudoc.fr/144489503