Recomienda este artículo a tus amigos:
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt
Pedido desde almacén remoto
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de diciembre de 2020 |
| ISBN13 | 9798585284120 |
| Editores | Independently Published |
| Páginas | 312 |
| Dimensiones | 203 × 254 × 17 mm · 621 g |
| Lengua | Inglés |
Mas por Henk Barendregt
Mostrar todo
Ver todo de Henk Barendregt ( Ej. Paperback Book y Hardcover Book )