Domain interpretations of intuitionistic type theory (1989)

by E Palmgren, V Stoltenberg-Hansen