Proofs and Types

Download or read book Proofs and Types written by Jean-Yves Girard and published by Cambridge University Press. This book was released on 1989-03-23 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.