Synthetic Domain Theory
M.P.Fiore and G.Rosolini. Domains
in H. Theoretical Computer Science, 264(2):171-193, 2001. [ps
file]
M.P.Fiore and G.Rosolini. Two
models of Synthetic Domain Theory. Journal
of Pure and Applied Algebra, 116:151-162, 1997. [ps
file]
M.P.Fiore and G.D.Plotkin. An
extension of models of axiomatic domain theory to models of synthetic domain
theory. In Proceedings of the Computer
Science Logic Conf. (CSL'96), volume 1258 of Lecture Notes in Computer
Science, pages 129-149. Springer-Verlag, 1997. [ps
file]
M.P.Fiore and G.Rosolini. The
category of cpos from a synthetic viewpoint.
In Proceedings of the Mathematical Foundations of Programming Semantics
Conf. (MFPS XIII), volume 6 of Electronic Notes in Theoretical Computer
Science, 1997. (URL: http://www.elsevier.nl/locate/entcs/volume6.html)