- Delia Kesner, Eduardo Hermo Reyes, Benno van den Berg, editors, 29th International Conference on Types for Proofs and Programs, TYPES 2023, June 12-16, 2023, ETSInf, Universitat Politècnica de València, Spain. Volume 303 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.