Lecture note on the domain interpretation of type theory (1983)

by P Martin-Löf
Venue:Workshop on Semantics of Programming Languages