4 papers:
ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism- Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
TLCA-2003-Laird #domain model- A Fully Abstract Bidomain Model of Unary FPC (JL), pp. 211–225.
LICS-1996-McCusker #abstraction #game studies- Games and Full Abstraction for FPC (GM), pp. 174–183.
- LICS-1994-FioreP #axiom #formal method #modelling
- An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
