A Concrete Representation of Observational Equivalence for PCF

James Laird
Guy McCusker
CoRR, abs/1003.0107 (2010)

Abstract