Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
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
Interactive Models of Computation and Program Behavior
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
Interactive Models of Computation and Program Behavior
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
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.

    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.

    Readership

    Graduate students and research mathematicians interested in logic and foundations.

  • Requests
     
     
    Review Copy – for publishers of book reviews
    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.

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.

Readership

Graduate students and research mathematicians interested in logic and foundations.

Review Copy – for publishers of book reviews
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.