Joris Ceulemans, Andreas Nuyts, Dominique Devriese. A Sound and Complete Substitution Algorithm for Multimode Type Theory. In 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, 2023. [doi]
Abstract is missing.