<div dir="ltr">Hi there,<div><br></div><div>So this isn't a pressing need or anything, but I've been wondering if anyone has done some kind of development of domain theory suitable for denotational semantics? Something maybe along the lines of an Agda version of <a href="http://dl.acm.org/citation.cfm?id=1616090">dl.acm.org/citation.cfm?id=1616090</a> , where you use a coinductive lifting monad to represent non-termination. Cursory google searching didn't reveal anything.</div>
<div><br></div><div>Cheers,</div><div>Clarissa</div></div>