"The Maximum Length of Mu-Reduction in Lambda Mu-Calculus."

Makoto Tatsuta (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics