Proofs and Types

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 between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & it will be essential reading for all those working in logic & computer science.Jean-Yves; Lafont, Yves; Taylor, Paul Girard is the author of 'Proofs and Types' with ISBN 9780521371810 and ISBN 0521371813.