Found 1 document(s)
Page 1 of 1
-
We propose the first sound and complete bisimilarities for the call-by-name and call-by-value untyped lambda-mu calculus. We define applicative bisimilarities for both semantics and environmental bisimilarity for call-by...