Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971. This item is unavailable.
Language: English
Published by Independently Published, 2020
- Softcover
- New
Seller: Rarewaves USA United, HEBRON, KY, U.S.A.Rarewaves USA United
5-star seller
AbeBooks seller since June 20, 2025
Unavailable
Softcover
Condition: New
£ 27.44
Seller Inventory # LU-9798585284120
- Title
- Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
- Author
- Henk Barendregt
- Publisher
- Independently Published
- Publication year
- 2020
- Condition
- New
- Binding
- Paperback
- Language
- English
- ISBN 13
- 9798585284120
- Item weight
- 621 grams
- Dimensions
- 20.32 x 1.8 x 25.4 cm
- Series
- Book 1 of 1: Series on Term Rewriting and Logic
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.
"Synopsis" may belong to another edition of this title.