1. M. Parigot, Free Deduction: An Analysis of "Computations" in Classical Logic, In: A. Voronkov, editors. Logic Programming Lecture Notes in Artificial Intelligence 592, Berlin,
2. M. Parigot, λμ-calculus: An algorithmic interpretation of classical natural deduction, In: A. Voronkov, editors. Logic Programming and Automated Reasoning, LPAR 1992, Lecture Notes in Artificial Intelligence 624, Berlin,
3. i>La valeur d'un entier classique en λμ-calcul;K. Nour;Archive Math. Logic
4. i>An environment machine for the λμ-calculus;P. de Groote;Math. Struct. Comput. Sci.
5. i>Böhm theorem and Böhm trees for the Λμ-calculus;A. Saurin;Theor. Comput. Sci.