%0 Journal Article
%A Fujita, Ken-Etsu
%T Domain-free $\lambda \mu $-calculus
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2000
%P 433-466
%V 34
%N 6
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_2000__34_6_433_0/
%G en
%F ITA_2000__34_6_433_0