Simple models of pur $\lambda\mu$-calculus (2001)

by Ken-Etsu Fujita