Domain-free $\lambda \mu$-calculus

Fujita, Ken-Etsu

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 34 (2000) p. 433-466