Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Copy To Clipboard
Successfully Copied!
Interactive Models of Computation and Program Behavior

Pierre-Louis Curien Université Paris VII, Paris, France
Hugo Herbelin Université Paris VII, Paris, France
Jean-Louis Krivine Université Paris VII, Paris, France
Paul-André Melliès Université Paris Diderot, Paris, France
A publication of the Société Mathématique de France
Available Formats:
Softcover ISBN: 978-2-85629-273-0
Product Code: PASY/27
List Price: $72.00 AMS Member Price:$57.60
Please note AMS points can not be used for this product
Click above image for expanded view
Interactive Models of Computation and Program Behavior
Pierre-Louis Curien Université Paris VII, Paris, France
Hugo Herbelin Université Paris VII, Paris, France
Jean-Louis Krivine Université Paris VII, Paris, France
Paul-André Melliès Université Paris Diderot, Paris, France
A publication of the Société Mathématique de France
Available Formats:
 Softcover ISBN: 978-2-85629-273-0 Product Code: PASY/27
 List Price: $72.00 AMS Member Price:$57.60
Please note AMS points can not be used for this product
• Book Details

Panoramas et Synthèses
Volume: 272009; 275 pp
MSC: Primary 03; 68;

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.

Graduate students and research mathematicians interested in logic and foundations.

• Requests

Review Copy – for reviewers who would like to review an AMS book
Accessibility – to request an alternate format of an AMS title
Volume: 272009; 275 pp
MSC: Primary 03; 68;

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.