Home » Mathematical Theory of Computation » Lambda Calculi
Product Image

Lambda Calculi

★★★★★
★★★★★
€62.99
Title
Category=UYA
eq_computing
eq_isMigrated=1
eq_non-fiction

Product details

  • ISBN 9780198538400
  • Weight: 282g
  • Dimensions: 154 x 241mm
  • Publication Date: 13 Oct 1994
  • Publisher: Oxford University Press
  • Publication City/Country: GB
  • Product Form: Paperback
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

Description
This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design and implementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas.