Artículos relacionados a Semantics of Type Theory: Correctness, Completeness...
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Tapa dura
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
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 124,38
EUR 3,40 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Semantics of Type Theory: Correctness, Completeness...
Imagen de archivo
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 298. Nº de ref. del artículo: 263158145
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 298. Nº de ref. del artículo: 4689758
Gastos de envío:
EUR 7,51
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 298. Nº de ref. del artículo: 183158155
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles