Wonder Club world wonders pyramid logo
×

Proofs and types Book

Proofs and types
Proofs and types, , Proofs and types has a rating of 3.5 stars
   2 Ratings
X
Proofs and types, , Proofs and types
3.5 out of 5 stars based on 2 reviews
5
0 %
4
50 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Proofs and types
  • Written by author Paul Taylor [and] Yves Lafont
  • Published by Cambridge : Cambridge University Press, 1989., 1989/03/23
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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 logic (namely the correspondence between proposition and types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material and its prospective applications to computer science. The book covers a very active and exciting research area, and it will be essential reading for all those working in logic and computer science.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Proofs and types, , Proofs and types

X
WonderClub Home

This item is in your Collection

Proofs and types, , Proofs and types

Proofs and types

X
WonderClub Home

This Item is in Your Inventory

Proofs and types, , Proofs and types

Proofs and types

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: