Domain interpretation of Martin-Lof's partial type theory (1990)

by E Palmgren, V Stoltenberg-Hansen
Venue:Ann. of Pure and Appl. Logic