Powiedz znajomym o tym przedmiocie:
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt
Zamówione z odległego magazynu
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
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.
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 22 grudnia 2020 |
| ISBN13 | 9798585284120 |
| Wydawcy | Independently Published |
| Strony | 312 |
| Wymiary | 203 × 254 × 17 mm · 621 g |
| Język | Angielski |
Więcej od Henk Barendregt
Pokaż wszystko
Zobacz wszystko od Henk Barendregt ( np. Paperback Book i Hardcover Book )