Lambda Calculus with Types by Henk Barendregt – Typed Lambda Calculus Handbook
Henk Barendregt, Wil Dekkers, Richard Statman
₹4,511
Types for Proofs and Programs
international workshop TYPES '93
by Henk Barendregt, Tobias Nipkow
Springer · 1994 · Paperback
₹5,576
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
Types for Proofs and Programs: international workshop TYPES '93 is written by Henk Barendregt & Tobias Nipkow. This paperback edition from Springer (1994) has 383 pages. The book is part of the Lecture notes in computer science series.
The book deals with Automatic theorem proving, Congresses and Computer programs.
Book details
- ISBN-13
- 9783540580850
- ISBN-10
- 3540580859
- Authors
- Henk Barendregt, Tobias Nipkow
- Publisher
- Springer
- Published
- 1994
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 383
- Language
- English
- Condition
- New
- Subject
- Computer programs
More by Henk Barendregt and related titles
Spreadsheets for Librarians
Bruce White
₹5,449
QuickBooks 2010 on Demand
Gail Perry CPA, Laura Madeira
₹2,821
Excel Formulas and Functions for Dummies®
Ken Bluttman, Peter G. Aitken
₹3,452
Portalizing Domino Applications for Websphere Portal
IBM Redbooks
₹3,688
Excel 2007 for Social Science Statistics
Thomas J. Quirk
₹4,347
Microsoft Office Excel 2007 Visual Basic for Applications Step by Step
Reed Jacobson
₹2,805
Microsoft® Money 2006 for Dummies®
Peter Weverka
₹4,000
Auf Dem Weg Zur Integration Factory
Joachim Schelp, Robert Winter
₹4,837
A Handbook of Statistical Analyses Using SPSS
Sabine Landau, Brian S. Everitt
₹4,813
SAP GRC for Dummies
Holly A. Roland, Denise Vu Broady, Dan Woods
₹5,630
Quicken 2013 for Dummies
Stephen L. Nelson
₹2,683