What do you think?
Rate this book
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
This book is an extended version of the author’s 1971 PhD thesis, containing a facsimile of the original and several 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.
312 pages, Paperback
Published December 22, 2020
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.