Rafaël Bocquet, Ambrus Kaposi, Christian Sattler. For the Metatheory of Type Theory, Internal Sconing Is Enough. In Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.