On-line catalogue and orders (secure paiement, VISA or MASTERCARD only)

Journals available by subscription

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

Books

Astérisque

Cours Spécialisés

Documents Mathématiques

Mémoires de la SMF

Panoramas et Synthèses

Séminaires et Congrès

Jean Morlet Chair Series

SMF/AMS Texts and Monographs

La Série T

Volumes "Journée Annuelle"

Other Books

Donald E. Knuth - French translations

Nicolas Bourbaki's seminar new edition

Jean Leray's scientific works new edition

Revue de l'Institut Elie Cartan

Electronic Editions

Annales scientifiques de l'ENS

Bulletin de la SMF

Revue d'Histoire des Mathématiques

Séminaires et Congrès

More information / Subscription

Publications for a general 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

For the authors

Submission of manuscripts

Formats and documentation

More info

Electronic distribution list (smf.emath.fr)

Information for bookselers and subscription agencies (smf.emath.fr)

Publications de la SMF
fr en
Your IP number: 54.162.224.176
Access to elec. publ.: SémCong

Panoramas et synthèses

Presentation of the publication

Solicitation text for authors

Titles

Last Titles

Editorial staff committee / Secretary

Number:

Search


Catalogue & orders

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

Titles

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
Buy the book
Presentation

Categorical Semantics of Linear Logic
Paul-André Melliès
Panoramas et synthèses 27 (2009), 1-196
Abstract

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

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