@article{Beckmann_2001,
    doi = {10.2307/2695106},
    url = {https://doi.org/10.2307%2F2695106},
    year = {2001},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {66},
    number = {3},
    pages = {1277--1285},
    author = {Arnold Beckmann},
    title = {Exact bounds for lengths of reductions in typed {$\lambda$}-calculus},
    journal = {Journal of Symbolic Logic}
}

@article{Beckmann_2001, doi = {10.2307/2695106}, url = {https://doi.org/10.2307%2F2695106}, year = {2001}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {66}, number = {3}, pages = {1277--1285}, author = {Arnold Beckmann}, title = {Exact bounds for lengths of reductions in typed {$\lambda$}-calculus}, journal = {Journal of Symbolic Logic} }