Catalogue et commandes en ligne (paiement sécurisé, VISA ou MASTERCARD uniquement)

Revues disponibles par abonnement

Annales scientifiques de l'ENS

Astérisque

Bulletin de la SMF

Mémoires de la SMF

Revue d'Histoire des Mathématiques

Gazette des Mathématiciens

Séries de livres

Astérisque

Cours Spécialisés

Documents Mathématiques

Mémoires de la SMF

Panoramas et Synthèses

Séminaires et Congrès

Série Chaire Jean Morlet

SMF/AMS Texts and Monographs

La Série T

Fascicules « Journée Annuelle »

Autres livres

Donald E. Knuth - traductions françaises

Rééditions du Séminaire Nicolas Bourbaki

Rééditions des Œuvres de Jean Leray

Revue de l'Institut Elie Cartan

Editions électroniques

Annales scientifiques de l'ENS

Bulletin de la SMF

Revue d'Histoire des Mathématiques

Séminaires et Congrès

Plus d'information / Abonnement

Publications grand public

L'explosion des mathématiques (smf.emath.fr)

Mathématiques L'explosion continue (smf.emath.fr)

Zoom sur les métiers des maths (smf.emath.fr)

Zoom sur les métiers des mathématiques et de l'informatique (smf.emath.fr)

Où en sont les mathématiques ?

La Série T

Pour les auteurs

Soumission des manuscrits

Formats et documentation

Plus d'info

Liste de diffusion électronique (smf.emath.fr)

Information pour les libraires et diffuseurs (smf.emath.fr)

Publications de la SMF
fr en
Votre numéro IP : 54.162.139.105
Accès aux édit. élec. : SémCong

Panoramas et synthèses

Présentation de la publication

Texte de sollicitation pour les auteurs

Parutions

Dernières parutions

Comité de rédaction / Secrétariat

Volume :

Faire une recherche


Catalogue & commande

Panoramas et synthèses - Parutions - 27 (2009)

Parutions

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
Résumé

Realizability in classical logic
Jean-Louis Krivine
Panoramas et synthèses 27 (2009), 197-229
Résumé

Abstract Machines for Dialogue Games
Pierre-Louis Curien, Hugo Herbelin
Panoramas et synthèses 27 (2009), 231-275
Résumé