Proofs and Types PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Proofs and Types PDF full book. Access full book title Proofs and Types by Jean-Yves Girard. Download full books in PDF and EPUB format.

Proofs and Types

Proofs and Types PDF Author: Jean-Yves Girard
Publisher: Cambridge University Press
ISBN: 9780521371810
Category : Computers
Languages : en
Pages : 192

Book Description
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.