Proofs and Types

By Yves LaFont, Paul Taylor, Jean-Yves Girard

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521371813
• ISBN13: 9780521371810
• Release Date: April 1989
• Publisher: Cambridge University Press
• Length: 192 Pages
• Weight: 1.16 lbs.
• Dimensions: 0.6" x 6.8" x 9.7"