Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: Derivation Systems, Substitution Algorithms, Computation Mechanisms (Hardcover)

Author: Harold Simmons
See more in Logic
Share this Product
Price: $188.31
Shipping: $3.99
                Total Price: $192.30

Ships from and sold by Alibris 2
What's this?
Format: Hardcover
2 New from $188.31 What's this?
Permalink
Related Videos
Dracula The Undead by Fre...
Dracula The Undead by Freda Warrington 2009 Trailer
Here's the Deal: Don't To...
Here's the Deal: Don't Touch Me by Howie Mandel 2009 Trailer
Powerless by Mathew Cody
Powerless by Mathew Cody 2009 Trailer
Product Summary
Format: Hardcover
ISBN: 9780521771733
Publisher: Cambridge University Press
Publish Date: 4/1/2000
Buy.com Sku: 30776167
Item#: RTDH7M
 
Introduction to simple type theory; 200 exercises with complete solutions.
 
  
Related Videos
Dracula The Undead by Fre...
Here's the Deal: Don't To...
Powerless by Mathew Cody


Top Searched Keywords
"The Dark Tower VI"   "dassin"   "jonathan dassin"   "nosy be"   Alessandra,   Alessandra, Tony   Gu, George Zhibin   Pakes,   Suzanne   Tony   Tony Alessandra   Ziglar, Zig   allyson beatrice   amy sedaris   appellate appeals law   atwood   biggest loser cookbook   credit debt law   diary of a wimpy kid   discrimination law gender   eleanor   george zhibin gu   james de havilland   kashmira sheth   ladybug   margaret   margaret eleanor atwood   nonfiction   roberts   superfreakonomics  
Suggestion Box
Every voice counts, so stand up and be heard! Your opinion is important to us. If you have spotted a typo, discovered an incorrect price, or encountered a technical issue on this page, we want to hear about it. Thanks again for your feedback, and happy shopping! Please note: we are unable to reply directly to suggestions.
For additional information, click here to visit our Help Center.
Quick Help My Account What are you looking for? Country