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
The following link can be shared to navigate to this page. You can select the link to copy or click the 'Copy To Clipboard' button 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
Front Cover for Interactive Models of Computation and Program Behavior
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
Front Cover for 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
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.

    Readership

    Graduate students and research mathematicians interested in logic and foundations.

  • Request Review Copy
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.

Readership

Graduate students and research mathematicians interested in logic and foundations.

Please select which format for which you are requesting permissions.