Lambda-mu calculus

Lambda-mu calculus is an extension of the traditional lambda calculus, which is a formal system for expressing computation based on function abstraction and application. The standard lambda calculus allows for defining and manipulating functions; however, it can be somewhat limited when it comes to representing control structures and certain computational aspects. Lambda-mu calculus introduces the concept of "mu" (μ) operators, which are used to capture notions of control, particularly with respect to computational effects like non-termination and continuations.