Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 - Henk Barendregt - Books - Independently Published - 9798585284120 - December 22, 2020
In case cover and title do not match, the title is correct

Henk Barendregt
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Price
A$ 39.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 14 - 27, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 22, 2020
ISBN13 9798585284120
Publishers Independently Published
Pages 312
Dimensions 203 × 254 × 17 mm   ·   621 g
Language English  

More by Henk Barendregt

Show all

See all of Henk Barendregt ( e.g. Paperback Book and Hardcover Book )