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

by A Beckmann
Venue:J. Symb. Log