[TYPES] lambda-mu

mahmoud abou ghaly mahm37 at hotmail.com
Sat Dec 17 02:37:52 EST 2005

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


More information about the Types-list mailing list