Advanced Colonoscopy
Toyooki Sonoda
₹2,800
Adapting Proofs-As-Programs
The Curry-Howard Protocol
by Iman Poernomo, John N. Crossley, Martin Wirsing
Springer · 2005
₹4,706
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Adapting Proofs-As-Programs: The Curry-Howard Protocol is written by Iman Poernomo, John N. Crossley & others. This edition from Springer (2005) has 420 pages.
The book deals with Lambda calculus, Symbolic and mathematical Logic, Proof theory and Curry-Howard isomorphism.
Book details
- ISBN-13
- 9780387237596
- ISBN-10
- 0387237593
- Authors
- Iman Poernomo, John N. Crossley, Martin Wirsing
- Publisher
- Springer
- Published
- 2005
- Pages
- 420
- Language
- English
- Condition
- New
Related books
Proceedings of the International Petroleum and Petrochemical Technology Conference 2019
Jia'en Lin
₹4,160
Bericht Über Die XXII. Tagung (Kriegstagung)
Deutschen Forstwirtschaftsrates
₹3,623
Physics of Atoms and Ions
Boris M. Smirnov
₹5,647
Introvision Bei Stress- Und Angstbewältigung
Melanie Neumann, Kathrin Heck
₹998
Mission Design & Implementation of Satellite Constellations
₹40,128
Biological Electron Transfer Chains
G. W. Canters, E. Vijgenboom
₹4,275
Specificity in Biological Interactions
A. Pullman, C. Chagas
₹15,374
Commercializing Cosmopolitan Security
Andreas Krieg
₹4,617
Werkstattbau
Carl Theodor Buff
₹5,330
Telecommunication Principles
J.J O'Reilly
₹3,677
Failure Analysis of Integrated Circuits
Lawrence C. Wagner
₹7,541