Articoli correlati a Semantics of Type Theory: Correctness, Completeness,...
Sinossi
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
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 122,85
EUR 3,36 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Semantics of Type Theory: Correctness, Completeness,...
Foto dell'editore
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 298. Codice articolo 263158145
Quantità: 1 disponibili
Foto dell'editore
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 298. Codice articolo 4689758
Quantità: 1 disponibili
Foto dell'editore
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 298. Codice articolo 183158155
Quantità: 1 disponibili