Sara Negri Continuous Domains as Formal Spaces. 19-52 2002 12 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs12.html#Negri02