Jump to Content

A Concrete Representation of Observational Equivalence for PCF

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

Abstract

Research Areas