Domains and Lambda-Calculi

Name: Domains and Lambda-Calculi
Brand: Cambridge University Press
SKU: 9780521622776
Price: 5404.00 INR
Availability: InStock

by Roberto M. Amadio, Pierre-Louis Curien, Amadio Roberto M.

Cambridge University Press

₹5,404

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve.

Description supplied by the publisher.