Conte aos seus amigos sobre este item:
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt
Item sob encomenda (no estoque do fornecedor)
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
Henk Barendregt
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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de dezembro de 2020 |
| ISBN13 | 9798585284120 |
| Editoras | Independently Published |
| Páginas | 312 |
| Dimensões | 203 × 254 × 17 mm · 621 g |
| Idioma | Inglês |
Mais por Henk Barendregt
Ver tudo de Henk Barendregt ( por exemplo Paperback Book e Hardcover Book )