Semantics of type theory : correctness, completeness and independence results - Streicher, Thomas (Progress in Theoretical Computer Science, 1991)