BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (7)
game (3)
fulli (3)
abstract (3)
project (2)

Stem pcf$ (all stems)

17 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.