Lambda Calculus The Coinductive Characterization of Lambda Terms This post shows how to use a type of infinitary trees to characterize the behavior of lambda terms.
Lambda Calculus Fully Abstract Models of the Lambda Calculus This post describes the denotational semantics of the lambda calculus.
Computer Science Applicative Bisimilarity This post examines a notion of equivalence for terms of the lambda calculus known as applicative bisimilarity.
