Atonement and Incarnation
Vernon White
₹3,607
Derivation and Computation
taking the Curry-Howard correspondence seriously
by H. Simmons
Cambridge University Press · 2000
₹4,379
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
Published by Cambridge University Press in 2000, Derivation and Computation: taking the Curry-Howard correspondence seriously by H. Simmons runs to 384 pages. It belongs to the Cambridge tracts in theoretical computer science series.
The book deals with Curry-Howard isomorphism, Lambda calculus, Proof theory and Type theory.
Book details
- ISBN-13
- 9780521771733
- ISBN-10
- 0521771730
- Author
- H. Simmons
- Publisher
- Cambridge University Press
- Published
- 2000
- Series
- Cambridge tracts in theoretical computer science
- Pages
- 384
- Language
- English
- Condition
- New
Related books
Pragmatic Liberalism and the Critique of Modernity
Gary Gutting, Robert B. Pippin
₹4,612
Missing the Boat
Craufurd D. Goodwin, Michael Nacht
₹3,913
Strategy as Practice
Leif Melin, Richard Whittington, Ann Langley, Gerry Johnson
₹6,180
The Provincial Book Trade in Eighteenth-Century England
John Feather
₹4,035
Health and Education in Early Childhood
Arthur J. Reynolds, Arthur J. Rolnick, Judy A. Temple
₹4,241
Indian Business and Nationalist Politics 1931–39
Claude Markovits
₹3,545
Semantics and Logics of Computation
A. Pitts, P. Dybjer, Andrew M. Pitts
₹4,753
Self-Organisation and Evolution of Biological and Social Systems
Charlotte Hemelrijk
₹2,670
Diplomatic Theory of International Relations
Paul Sharp
₹2,275
Icebergs
Grant R. Bigg
₹5,013
Lordship and the Urban Community
Margaret Bonney
₹3,731