@misc{indiciaef805631bbdaa,
  title = {Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications},
  author = {Valeria de Paiva and Thaynara Arielly de Lima},
  year = {2026},
  doi = {10.4204/eptcs.449},
  url = {https://arxiv.org/abs/2607.15904},
  note = {Source identifier: 2607.15904}
}