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.