Similar Items: A coherent differential PCF
- The recursion hierarchy for PCF is strict
- On Berry's conjectures about the stable order in PCF
- Differentials and distances in probabilistic coherence spaces
- A Fully Abstract Model of PCF Based on Extended Addressing Machines
- Coherent and finiteness spaces
- Coherent Presentations of Monoidal Categories