4921715
9780444520777
Lectures on the Curry-Howard Isomorphism
by Urzyczyn, Pawel, Sørensen, Morten Heine
31245
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780444520777
- ISBN: 0444520775
- Publication Date: 2006
- Publisher: Elsevier Science & Technology Books
AUTHOR
SUMMARY
The Curry-Howard isomorphism states a correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. This book presents an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism.Urzyczyn, Pawel is the author of 'Lectures on the Curry-Howard Isomorphism', published 2006 under ISBN 9780444520777 and ISBN 0444520775.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
