Semantics of Type Theory: Correctness, Completeness and Independence Results by
102,36 €
Semantics of Type Theory. 1 Contextual Categories and Categorical Semantics of Dependent Types. - 2 Models for the Calculus of Constructions and Its Extensions. - 3 Correctness of the Interpretation of the Calculus of Constructions in Doctrines of Constructions.
Jetzt bei Ebay:
