[TYPES] lambda-mu

[mahmoud abou ghaly]

In the Handbook of Logic in Computer Science, Volume 2, Chapter 2
Lambda calculi with types, I have found  λμ (system of recursive
typed lambda calculus) as one of the λ-Curry system (λ à Curry, λ2,
λ∩, λ μ)). I have found many other materials about λ2, λ∩, but none for
λμ .Can someone please send me pointers to additional material about
the  λμ calculus?

Thanks in advance for your answers. 

Mahmoud Abou Ghaly