Domain-Free λµ-Calculus Ken-Etsu Fujita RAIRO-Theor. Inf. Appl., 34 6 (2000) 433-466 Published online: 15 April 2002 DOI: 10.1051/ita:2000102