Basic Simple Type Theory
J. Roger Hindley, J. Roger Hindley, C. J. Van Rijsbergen
₹4,330
Lambda-Calculus and Combinators
An Introduction
by J. Roger Hindley, Jonathan P. Seldin
Cambridge University Press · 2008
₹4,628
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
Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley & Jonathan P. Seldin is a 358-page book published by Cambridge University Press in 2008.
Its main subjects are Combinatory logic, Lambda calculus, Calculus and Logic.
Book details
- ISBN-13
- 9780521898850
- ISBN-10
- 0521898854
- Authors
- J. Roger Hindley, Jonathan P. Seldin
- Publisher
- Cambridge University Press
- Published
- 2008
- Edition
- 2
- Pages
- 358
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by J. Roger Hindley and related titles
Basic Simple Type Theory
J. Roger Hindley
₹4,478
The Military Strategy of the Soviet Union
David M. Glantz
₹5,390
Betrayal at Salty Springs
Devin Hunter
₹3,371
You've Got Dissent
Michael Chase, James Mulvenon
₹2,480
Henry VIII's Military Revolution the Armies of Sixteenth-century Britain and Europe
James Raymond
₹3,944
Cyber Threat Intelligence
Martin Lee
₹9,843
Visual Information and Information Systems
Nies Huijsmans, Arnold W. M. Smeulders
₹4,380
Kubernetes Application Developer
Prateek Khushalani
₹4,184
Algebraic Logic and Universal Algebra in Computer Science
Algebraic Logic and Universal Algebra in Computer Science Conference (1988 Ames, Iowa)
₹3,931
Ecological Data
William K. Michener
₹2,952
International Domain Name Law
David Lindsay
₹17,783