Introduction to ''Interactive models of computation and program behaviour"

Pierre-Louis Curien 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : Since the mid-eighties of the last century, a fruitful interplay between computer scientists and mathematicians has led to much progress in the understanding of programming languages, and has given new impulse to areas of mathematics such as proof theory or category theory. The volume of which this text is an introduction contains three contributions: Categorical semantics of linear logic, by P.-A. Melliès, Realizability in classical logic, by J.-L. Krivien, Abstract machines for dialogue games, by P.-L. Curien and H. Herbelin, which we place here in perspective.
Document type :
Liste complète des métadonnées

Cited literature [5 references]  Display  Hide  Download
Contributor : Pierre-Louis Curien <>
Submitted on : Monday, May 14, 2012 - 3:43:45 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM
Document(s) archivé(s) le : Wednesday, August 15, 2012 - 2:37:22 AM


Files produced by the author(s)


  • HAL Id : hal-00697119, version 1



Pierre-Louis Curien. Introduction to ''Interactive models of computation and program behaviour". Société Mathématique de France, pp.xi-xv, 2009, Panoramas et Synthèses. 〈hal-00697119〉



Record views


Files downloads