Evan Cavallo, Thierry Coquand. Type-Theoretic Replacement and Univalent Completion: Applications and Interpretations. In Fredrik Nordvall Forsberg, James McKinna, editors, 31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025. Volume 384 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.