Rules and Reasoning
Dumitru Roman
₹3,956
Domains and Lambda-Calculi
by Roberto M. Amadio, Pierre-Louis Curien, Roberto M. Amadio
Cambridge University Press · 1998
₹5,404
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 1998, Domains and Lambda-Calculi by Roberto M. Amadio & Pierre-Louis Curien runs to 484 pages. The book is part of the Cambridge tracts in theoretical computer science series.
Its main subjects are Lambda calculus, Semantics, Programming languages (Electronic computers) and Computer science.
Book details
- ISBN-13
- 9780521622776
- ISBN-10
- 0521622778
- Authors
- Roberto M. Amadio, Pierre-Louis Curien, Roberto M. Amadio
- Publisher
- Cambridge University Press
- Published
- 1998
- Series
- Cambridge tracts in theoretical computer science
- Pages
- 484
- Language
- English
- Condition
- New
- Subject
- Programming languages
More in Programming languages
JavaTM Programming with CORBA
Andreas Vogel, Keith Duddy
₹3,648
Case-Based Reasoning Research and Development
David W. AHA, Ian Watson
₹4,713
Functional Programming Languages and Computer Architecture
John Hughes
₹4,165
Coding Literacy
Annette Vee
₹2,035
Introduction to Python for Science and Engineering 2ed
David J. Pine
₹4,340
Python in a Nutshell
Anna Martelli Ravenscroft, Alex Martelli, Paul McGuire, Steve Holden
₹4,102
Fundamentals of programming languages
Ellis Horowitz
₹2,548
RailsSpace Ruby on Rails Tutorial LiveLessons
Aurelius Prochazka
₹3,059
Casl Reference Manual
Peter D. Mosses
₹4,729
Readings in Artificial Intelligence and Software Engineering
Charles Rich, Richard C. Waters
₹14,992
Computational Logic
A. C. Kakas, F. Sadri
₹4,475