Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 - Brossura

Barendregt, Henk

 
9798585284120: Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Brossura
ISBN 13: 9798585284120
Casa editrice: Independently published, 2020

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Independently published
Data di pubblicazione
2020
Lingua
Inglese
ISBN 13 
9798585284120
Rilegatura
Copertina flessibile
Numero di pagine
312
Contatto del produttore
Manufactured by Amazon on behalf of the author
https://www.amazon.it/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Lussemburgo