Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

3.89 avg rating
( 9 ratings by Goodreads )
 
9780521371810: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
View all copies of this ISBN edition:
 
 

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. Annotation copyright Book News, Inc. Portland, Or.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Jean-Yves Girard; Yves Lafont; Paul Taylor
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1989. Condition: New. book. Seller Inventory # M0521371813

More information about this seller | Contact this seller

Buy New
US$ 324.26
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Girard, Jean-Yves, Lafont, Yves, Taylor,
Published by Cambridge University Press (1989)
ISBN 10: 0521371813 ISBN 13: 9780521371810
New Hardcover Quantity Available: 1
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1989. Hardcover. Condition: New. Never used!. Seller Inventory # P110521371813

More information about this seller | Contact this seller

Buy New
US$ 342.20
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds