Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Paperback) (ISBN-13: 9798585284120)

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.

Author: Henk Barendregt
ISBN-10: 8585284129
ISBN-13: 9798585284120
Publisher: Independently Published
Language: English
Published: 12/22/2020
Pages: 312
Format: Paperback
Weight: 1.37lbs
Size: 10.00h x 7.99w x 0.65d