46] Erik Palmgren and Viggo Stoltenberg-Hansen. Domain interpretations of intuitionistic type theory (1993)

by Information, Computation