Synthetic Domain Theory

  • M.P.Fiore and G.Rosolini.  Domains in HTheoretical 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)

  •