Verwandte Artikel zu Semantics of Type Theory: Correctness, Completeness...
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Hardcover
Reseña del editor
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
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 124,23
EUR 3,40 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Semantics of Type Theory: Correctness, Completeness...
Beispielbild für diese ISBN
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 298. Bestandsnummer des Verkäufers 263158145
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 298. Bestandsnummer des Verkäufers 4689758
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 298. Bestandsnummer des Verkäufers 183158155
Anzahl: 1 verfügbar