Andreas Abel A Third-Order Representation of the lambda-mu-Calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
Marino Miculan Developing (Meta)Theory of Lambda-calculus in the Theory of Context. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]