Domain-Free λµ-CalculusKen-Etsu FujitaRAIRO-Theor. Inf. Appl., 34 6 (2000) 433-466DOI: https://doi.org/10.1051/ita:2000102
