<div dir="ltr">Hi there,<div><br></div><div>So this isn&#39;t a pressing need or anything, but I&#39;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&#39;t reveal anything.</div>
<div><br></div><div>Cheers,</div><div>Clarissa</div></div>