A lambda calculus variant Quite niche, so people who read about it know what a calculus is