@misc{indiciae2ce9078b439b,
  title = {Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday},
  author = {Thorsten Altenkirch and Franco Barbanera and Ferruccio Damiani and Ugo de'Liguoro},
  year = {2026},
  doi = {10.4204/eptcs.441},
  url = {https://arxiv.org/abs/2603.02912},
  note = {Source identifier: 2603.02912}
}