A Concrete Representation of Observational Equivalence for PCF

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

Abstract

Research Areas