Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)"

michaelt / martin-lof

papers of Per Martin Löf

750 stars 65 forks source link

Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)" #34

Open marklemay opened 2 years ago

marklemay commented 2 years ago

cited in https://www.sciencedirect.com/science/article/pii/0168007290900443

P. Martin-Lijf, Unifying Scott’s theory of domains for denotational semantics and intuitionistic
type theory (Abstract), Atti del Congresso “Logica e Filosofia della Scienza, oggi,” San
Gimignano, 7-11 December 1983. Vol. I - Logica (CLUEB, Bologna, 1986).