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

Barendregt, Henk

ISBN 13: 9798585284120

Editore: Independently published, 2020

Riguardo questo articolo

SUPER FAST SHIPPING.

Codice articolo 9798585284120

Dati bibliografici

• Titolo: Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
• Editore: Independently published
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 13: 9798585284120
• Rilegatura: Brossura
• Condizione: New

Descrizione articolo

Riassunto

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.