Proofs and Types

Proofs and Types 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.

Authors: Girard J.-Y., Taylor P., Lafont Y.Pages: 187     Year: 1989

Tags: proofs

Customers who bought this item also bought:


© 2007–2020 Dleex.

English      German      French      Russian

For any question please write to our email e-mail