17 papers:
CSL-2015-AminiE #linear #logic #on the- On Classical PCF, Linear Logic and the MIX Rule (SA, TE), pp. 582–596.
LICS-2015-CastellanCW #game studies #parallel- The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
POPL-2014-EhrhardTP #probability- Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
ICFP-2011-GaboardiPP #exclamation #semantics- Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
KDIR-2010-YakutPK #collaboration #named- PCF: Projection-based Collaborative Filtering (IY, HP, MK), pp. 408–413.
SAC-2010-SrivastavaM #framework- An APQC-PCF based framework to compare service offerings in business transformation projects (BS, PM), pp. 73–78.
TLCA-2003-BucciarelliLP #modelling- Relative Definability and Models of Unary PCF (AB, BL, VP), pp. 75–89.
- TLCA-2001-Normann #calculus
- Definability of Total Objects in PCF and Related Calculi (DN), pp. 4–5.
- TLCA-1999-Damiani #algebra #data type #detection
- Useless-Code Detection and Elimination for PCF with Algebraic Data types (FD), pp. 83–97.
- TLCA-1997-Brauner #category theory
- A Simple Adequate Categorical Model for PCF (TB), pp. 82–98.
- TLCA-1997-Herbelin #game studies #reduction
- Games and Weak-Head Reduction for Classical PCF (HH), pp. 214–230.
- LICS-1996-EdalatE #integration
- Integration in Real PCF (AE, MHE), pp. 382–393.
FPCA-1995-HylandO #game studies #π-calculus- π-Calculus, Dialogue Games and PCF (JMEH, CHLO), pp. 96–107.
- TLCA-1993-JungS
- Studying the Fully Abstract Model of PCF within its Continuous Function Model (AJ, AS), pp. 230–244.
ICALP-1991-BucciarelliE- Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.
- LICS-1991-Stoughton #parallel
- Parallel PCF Has a Unique Extensional Model (AS), pp. 146–151.
LFP-1990-HowardM #axiom #semantics- Operational and Axiomatic Semantics of PCF (BTH, JCM), pp. 298–306.
