Comment by rhsjie294nd

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