Arnold Beckmann. Exact Bounds for Lengths of Reductions in Typed lambda-Calculus. Journal of Symbolic Logic, 66(3):1277-1285, 2001.
@article{Beckmann01,
title = {Exact Bounds for Lengths of Reductions in Typed lambda-Calculus},
author = {Arnold Beckmann},
year = {2001},
researchr = {https://researchr.org/publication/Beckmann01},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {66},
number = {3},
pages = {1277-1285},
}