Proofs and Types (Cambridge Tracts in Theoretical Computer Science) [Hardcover]

Jean-Yves Girard (Author), Yves Lafont (Author), Paul Taylor (Author)

Available from these sellers.

Book Description

Series: Cambridge Tracts in Theoretical Computer Science | Publication Date: April 28, 1989

This book is derived from 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 logic. It sheds light on traditional logic material and its prospective application to computer science.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } This book is derived from 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 logic. It sheds light on traditional logic material and its prospective application to computer science.

Customers Who Viewed This Item Also Viewed

Term Rewriting and All That by Franz Baader
4.0 out of 5 stars (3)

$43.26
Derivation and Computation: Taking the Curry-Howard... by H. Simmons

$158.51
Logic in Computer Science: Modelling and Reasonin... by Michael Huth
4.4 out of 5 stars (7)

$61.98
A Theory of Objects (Monographs in Computer Science) by Martin Abadi
5.0 out of 5 stars (2)

$183.00
An Introduction to Mathematical Logic and Typ... by Peter B. Andrews
3.7 out of 5 stars (3)

$134.32

Product Details

Hardcover: 192 pages
Publisher: Cambridge University Press (April 28, 1989)
Language: English
ISBN-10: 0521371813
ISBN-13: 978-0521371810
Product Dimensions: 9 x 6 x 1 inches
Shipping Weight: 1.4 pounds
Amazon Best Sellers Rank: #2,946,520 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Suggested Tags from Similar Products

(What's this?)

Be the first one to add a relevant tag (keyword that's strongly related to this product).

logic(3)

type theory(3)

compilers(1)

computer algebra(1)

term rewriting(1)

mathematics(3)

computer science(2)

oop(2)

object orientation(1)

theory(1)

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }