@misc{indiciaeb48fd4e61c1c,
  title = {A Theory of a Two-Dimensional Typed Lambda Calculus},
  author = {Daniel O. Martínez-Rivillas and Arthur F. Ramos and Ruy J. G. B. de Queiroz},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19479},
  note = {Source identifier: 2609.19479}
}