Panoramas et synthèses - Parutions - 27 (2009)
| |
|
|
|
|
Interactive models of computation and program behaviour
Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine, Paul-André Melliès
Panoramas et synthèses 27 (2009), xvi+275 pages
Acheter l'ouvrage
Présentation
Categorical Semantics of Linear Logic
Paul-André Melliès
Panoramas et synthèses 27 (2009), 1-196
Realizability in classical logic
Jean-Louis Krivine
Panoramas et synthèses 27 (2009), 197-229
Abstract Machines for Dialogue Games
Pierre-Louis Curien, Hugo Herbelin
Panoramas et synthèses 27 (2009), 231-275
