- Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch, editors, 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. Volume 188 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.