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]
@inproceedings{AltenkirchKSV22,
title = {The Münchhausen Method in Type Theory},
author = {Thorsten Altenkirch and Ambrus Kaposi and Artjoms Sinkarovs and Tamás Végh},
year = {2022},
doi = {10.4230/LIPIcs.TYPES.2022.10},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.10},
researchr = {https://researchr.org/publication/AltenkirchKSV22},
cites = {0},
citedby = {0},
booktitle = {28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France},
editor = {Delia Kesner and Pierre-Marie Pédrot},
volume = {269},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-285-3},
}