@misc{indiciaeaa81f7388b59,
  title = {Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications},
  author = {Daniele Nantes-Sobrinho and Pascal Fontaine},
  year = {2023},
  doi = {10.4204/eptcs.376},
  url = {https://arxiv.org/abs/2303.12680},
  note = {Source identifier: 2303.12680}
}