@misc{indiciae3d2155a364ab,
  title = {A tier-based typed programming language characterizing Feasible Functionals},
  author = {Emmanuel Hainry and Bruce M. Kapron and Jean-Yves Marion and Romain Péchoux},
  year = {2022},
  doi = {10.46298/lmcs-18(1:33)2022},
  url = {https://arxiv.org/abs/2102.11605},
  note = {Source identifier: 2102.11605}
}