Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) Book

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. To do this the authors explain denotational and operational semantics and exploit the duality between them.Read More

from£53.99 | RRP: £45.00
* Excludes Voucher Code Discount Also available Used from £76.47
  • 0521062926
  • 9780521062923
  • Roberto M. Amadio, Pierre-Louis Curien
  • 15 May 2008
  • Cambridge University Press
  • Paperback (Book)
  • 504
  • 1
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.