AMS Bookstore LOGO amslogo
Return to List  Item: 1 of 1   
Interactive Models of Computation and Program Behavior
Pierre-Louis Curien, Hugo Herbelin, and Jean-Louis Krivine, Université Paris VII, France, and Paul-André Melliès, Université Paris Diderot, France
A publication of the Société Mathématique de France.
Panoramas et Synthèses
2009; 275 pp; softcover
Number: 27
ISBN-10: 2-85629-273-9
ISBN-13: 978-2-85629-273-0
List Price: US$72
Member Price: US$57.60
Order Code: PASY/27
[Add Item]

This volume contains three contributions in the field of logic and computation that reflect current trends towards an interactive account of the meaning of proofs and programs. The contributions can be read independently and use or introduce fundamental tools in the field: categories, realizability, abstract machines. Throughout the volume, a unifying theme is that of games and strategies, which turns the correspondence between proofs and programs (the so-called Curry-Howard isomorphism) into a triangle whose third corner emphasizes interaction and duality between a program and its environment or between a proof and counter-proofs. The introduction to the volume places the contributions in perspective and provides a gentle beginner's introduction to the lambda-calculus, which is and remains the backbone of the whole field.

A publication of the Société Mathématique de France, Marseilles (SMF), distributed by the AMS in the U.S., Canada, and Mexico. Orders from other countries should be sent to the SMF. Members of the SMF receive a 30% discount from list.


Graduate students and research mathematicians interested in logic and foundations.

Table of Contents

  • P.-A. Melliès -- Categorical semantics of linear logic
  • J.-L. Krivine -- Realizability in classical logic
  • P.-L. Curien and H. Herbelin -- Abstract machines for dialogue games
Powered by MathJax
Return to List  Item: 1 of 1   

  AMS Home | Comments:
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia