The Lambda Calculus. Its Syntax and Semantics

by Henk Barendregt

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 184890066X
• ISBN13: 9781848900660
• Release Date: April 2012
• Publisher: College Publications
• Length: 656 Pages
• Weight: 2.20 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"