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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
