TY  - RPRT
TI  - Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
AU  - Thorsten Altenkirch
AU  - Franco Barbanera
AU  - Ferruccio Damiani
AU  - Ugo de'Liguoro
PY  - 2026
DO  - 10.4204/eptcs.441
UR  - https://arxiv.org/abs/2603.02912
ID  - 2603.02912
ER  -