Correctness and Completeness of a Semantics of the Calculus of Constructions with respect to Interpretation in Doctrines of Constructions (1988)

by T Streicher