martin-lof icon indicating copy to clipboard operation
martin-lof copied to clipboard

Published 20 hours ago • verified publisher icon michaelt

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

Open marklemay opened this issue 3 years ago • 0 comments

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).

marklemay avatar Feb 16 '22 01:02 marklemay