Semantics of type theory : correctness, completeness and independence results - Streicher, Thomas (Progress in theoretical computer science, 1991)