Exact bounds for lengths of reductions in typed λ-calculus (0)

by A Beckmann
Venue:Journal of Symbolic Logic