1. A Taxonomy of Functional Language Implementations Part I: Call-by-Value;Douence,1996
2. Recursive Types in Games: Axiomatics and Process Representation;Fiore;Proc LICS,1998
3. em An axiomatisation of computationally adequate domain-theoretic models of ···;Fiore;Proc LICS,1994
4. Complete cuboidal sets in Axiomatic Domain Theory;Fiore;Proc LICS,1997
5. Enrichment through variation;Gordon;J. Pure Appl. Algebra,1997