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

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