Semantics of type theory : correctness, completeness, and independence results - Streicher, Thomas, 1958- (Birkhäuser, 1991)