Completeness and Continuity Properties of Applicative Bisimulation.

Andrew M. Pitts Completeness and Continuity Properties of Applicative Bisimulation. 61 1994 conf/imperial/1994 Theory and Formal Methods db/conf/imperial/imperial1994.html#Pitts94