Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Lambda Calculus with Types by Henk Barendregt – Typed Lambda Calculus Handbook

Lambda Calculus with Types by Henk Barendregt – Typed Lambda Calculus Handbook

by Henk Barendregt, Wil Dekkers, Richard Statman

‎ Cambridge University Press · 2013

₹4,511

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 with Types by Henk Barendregt – Typed Lambda Calculus Handbook by Henk Barendregt, Wil Dekkers & others is an 833-page book published by ‎ Cambridge University Press in 2013. It belongs to the Perspectives in logic series.

Its main subjects are Lambda calculus and Calculus.

Book details

ISBN-13
9780521766142
ISBN-10
0521766141
Authors
Henk Barendregt, Wil Dekkers, Richard Statman
Publisher
‎ Cambridge University Press
Published
2013
Series
Perspectives in logic
Edition
‎ Illustrated
Pages
833
Language
English
Condition
New
Subject
Mathematics

More by Henk Barendregt and related titles

See all