[Agda] Domain Theory Libraries for Agda?

[Clarissa Littler]

Hi there,

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 dl.acm.org/citation.cfm?id=1616090 , where you use a coinductive lifting
monad to represent non-termination. Cursory google searching didn't reveal
anything.

Cheers,
Clarissa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140510/cf9fabf4/attachment.html