S Lassen - 20th Annual IEEE Symposium on Logic in Computer …, 2005 - ieeexplore.ieee.org
This paper describes two new bisimulation equivalences for the pure untyped call-by-
value/spl lambda/-calculus, called enf bisimilarity and enf bisimilarity up to/spl eta/. They are …