TY  - RPRT
TI  - A Concrete Representation of Observational Equivalence for PCF
AU  - Martin Churchill
AU  - James Laird
AU  - Guy McCusker
PY  - 2010
UR  - https://arxiv.org/abs/1003.0107
ID  - 1003.0107
ER  -