Search:

Proofs and Types

Format Post in Foreign Languages BY Jean-Yves Girard, Paul Taylor, Yves Lafont

0521371813 Shared By Guest

Proofs and Types Jean-Yves Girard, Paul Taylor, Yves Lafont is available to download

Proofs and Types
Jean-Yves Girard, Paul Taylor, Yves Lafont
Type: eBook
Released: 1989
Publisher: Cambridge University Press
Page Count: 187
Format: djvu
Language: English
ISBN-10: 0521371813
ISBN-13: 9780521371810
This book is derived from notes prepared by J-Y.Proofs and Types Textbook 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. It sheds light on traditional logic material and its prospective application to computer science.

Proofs and Types

You should be logged in to Download this Document. Membership is Required. Register here

Comments (0)

Currently,no comments for this book!