Semantics of Type Theory
Correctness, Completeness and Independence Results
Seiten
1991
Birkhauser Boston Inc (Verlag)
978-0-8176-3594-7 (ISBN)
Birkhauser Boston Inc (Verlag)
978-0-8176-3594-7 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive mathematics to the problem of defining functional computer programming languages should interest mathematicia
| Erscheint lt. Verlag | 31.12.1991 |
|---|---|
| Reihe/Serie | Progress in Theoretical Computer Science |
| Verlagsort | Secaucus |
| Sprache | englisch |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| ISBN-10 | 0-8176-3594-7 / 0817635947 |
| ISBN-13 | 978-0-8176-3594-7 / 9780817635947 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €
