Computer Science Applicative Bisimilarity This post examines a notion of equivalence for terms of the lambda calculus known as applicative bisimilarity.
