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 :
Books
Liste complète des métadonnées

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00697119
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

intro-pano.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00697119, version 1

Collections

Citation

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〉

Share

Metrics

Record views

292

Files downloads

189