North Holland

The Lambda Calculus: Its Syntax and Semantics (ISSN)

Name: The Lambda Calculus: Its Syntax and Semantics (ISSN)
Brand: North Holland
SKU: B01253U1OE
Price: 3508.00 ZAR
Availability: OutOfStock

No Stock / Cannot Import

Secure checkout

Your payment is fully protected

Duties & VAT included

No surprise charges at the door

Tracked delivery

Track your order end to end

Returns support

30-day return window

Description

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 improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Shipping & Delivery

Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.

Returns & Exchanges

We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.