Applicative Bisimilarity in Call-by-Name Calculus - 42Papers