Andreas Abel. A Third-Order Representation of the lambda-mu-Calculus. Theoretical Computer Science, 58(1):97-114, 2001. [doi]
@article{Abel01, title = {A Third-Order Representation of the lambda-mu-Calculus}, author = {Andreas Abel}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume58.html}, researchr = {https://researchr.org/publication/Abel01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {58}, number = {1}, pages = {97-114}, }