@InCollection{jung13a,
author = {A. Jung},
title = {Continuous domain theory in logical form},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky},
pages = {166-177},
publisher = {Springer Verlag},
year = 2013,
editor = {B. Coecke and L. Ong and P. Panangaden},
volume = 7860,
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-642-38164-5_12},
abstract = {In 1987 Samson Abramsky presented \emph{Domain Theory in Logical
Form} in the \emph{Logic in Computer Science} conference. His
contribution to the conference proceedings was honoured with the
\emph{Test-of-Time} award 20 years later. In this note I trace a
particular line of research that arose from this landmark paper, one
that was triggered by my collaboration with Samson on the article
\emph{Domain Theory} which was published as a chapter in the
\emph{Handbook of Logic in Computer Science} in 1994.}
}