Semantics of Type Theory: Correctness, Completeness, and Independence Results (1991)

by T Streicher