The domain interpretation of type theory. Talk at the workshop on semantics of programming languages (1983)

by P Martin-Löf