Proofs and Types
Jean-Yves Girard, Yves Lafont, Paul Taylor
Translated (from French) and developed from notes prepared for a course at the University of Paris VII. Deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
