Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh. The Münchhausen Method in Type Theory. In Delia Kesner, Pierre-Marie Pédrot, editors, 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France. Volume 269 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.