In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by M. Parigot. It introduces two new operators: the μ operator and the...
1 Answers
1 views
Log in to ask questions, provide answers, or leave comments.