Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)

Henk Barendregt

ISBN 13: 9798585284120

Published by Independently published, 2020

About this Item

Seller Inventory # LU-9798585284120

Bibliographic Details

• Title: Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
• Publisher: Independently published
• Publication Date: 2020
• Language: English
• ISBN 13: 9798585284120
• Binding: Paperback
• Condition: New
• Dimensions: 20.32W x 1.8H x 25.4D centimeters 20.32 centimeters width by 1.8 centimeters height by 25.4 centimeters depth
• Weight: 621 grams

About this title

Synopsis

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.