The Lambda Calculus (Studies in Logic and the Foundations of Mathematics)

By Henk Barendregt

Book Overview

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: 0444875085
• ISBN13: 9780444875082
• Release Date: November 1985
• Publisher: North-Holland
• Length: 654 Pages
• Weight: 0.85 lbs.
• Dimensions: 1.4" x 6.3" x 9.1"