Home » Proofs and Types by Jean-Yves Girard
Proofs and Types Jean-Yves Girard

Proofs and Types

Jean-Yves Girard

Published March 23rd 1989
ISBN : 9780521371810
Hardcover
192 pages
Enter the sum

 About the Book 

This text is an outgrowth of notes prepared by J.-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence betweenMoreThis text is an outgrowth of notes prepared by J.-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition and types). Combined with the conceptual perspectives of Girards ideas, this sheds light on both the traditional logic material and its prospective applications to computer science. The book covers a very active and exciting research area, and it will be essential reading for all those working in logic and computer science.