# Understanding $\lambda \mu$-calculus in more programming way I am learning $$\lambda \mu$$-calculus (self-study).

I learned it because it seems very useful for understanding Curry-Howard correspondence (e.g understanding the connection between classical logic and intuitionistic logic)

I searched the internet, there is some information about $$\lambda \mu$$-calculus on Wikipedia, but it does not explore it further (at time of writing). https://en.wikipedia.org/wiki/Lambda-mu_calculus

Is there any more programming way to interpret the intuition behind $$\lambda \mu$$-calculus?

For example:

In $$\lambda \mu$$-calculus, there are two additional terms called $$\mu$$-abstraction $$\mu \delta .T$$ and named term $$[\delta]T$$.

Can I think $$\mu$$-abstraction as a $$\lambda$$-abstraction which waiting for some continuation $$k$$ (here, is $$\delta$$)?

What’s the meaning of the named term?

How does it connect to call/cc?

Can I find the corresponding roles in some programming language (e.g. Scheme)?

PS: I can understand $$\lambda$$-calculus, call/cc in Scheme, and CPS-Translation, but I still cannot clearly understand the intuition behind $$\lambda \mu$$-calculus.

Very thanks. Posted on Categories proxies