Unifying Scott's theory of domains for denotational semantics and intuitionistic type theory, in: Logica e Filosofia della (1986)

by P Martin-Lof
Venue:Scienza, oggi. San Gimignano, 7-11 Dicembre 1983, v.1, CLUEB