@misc{indiciae8a14bfd5337d,
  title = {Statman's Hierarchy Theorem},
  author = {Bram Westerbaan and Bas Westerbaan and Rutger Kuyper and Carst Tankink and Remy Viehoff and Henk Barendregt},
  year = {2017},
  doi = {10.23638/lmcs-13(4:19)2017},
  url = {https://arxiv.org/abs/1711.05497},
  note = {Source identifier: 1711.05497}
}