diff --git a/bib.bib b/bib.bib index b7208ac..6b01cf1 100644 --- a/bib.bib +++ b/bib.bib @@ -1,3 +1,27 @@ +@InProceedings{2022-types, + author = {Altenkirch, Thorsten and Kaposi, Ambrus and \v{S}inkarovs, Artjoms and V\'{e}gh, Tam\'{a}s}, + title = {{The M\"{u}nchhausen Method in Type Theory}}, + booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}, + pages = {10:1--10:20}, + series = {Leibniz International Proceedings in Informatics (LIPIcs)}, + isbn = {978-3-95977-285-3}, + issn = {1868-8969}, + year = {2023}, + volume = {269}, + editor = {Kesner, Delia and P\'{e}drot, Pierre-Marie}, + publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, + address = {Dagstuhl, Germany}, + url = {/pubs/2022-types.pdf}, + urn = {urn:nbn:de:0030-drops-184534}, + doi = {10.4230/LIPIcs.TYPES.2022.10}, + annote = {Keywords: type theory, proof assistants, very dependent types}, + date = {2023-07-28}, + addinfo = { + The sources of the paper with the code + \href{https://bitbucket.org/akaposi/combinator/src/master/post-types2022/}{are available here}. + Here is \href{https://drops.dagstuhl.de/opus/volltexte/2023/18453}{the official link to the published paper}. + }} + @InProceedings{2023-fscd, author = {Altenkirch, Thorsten and Kaposi, Ambrus and diff --git a/publications.html b/publications.html index bf3c168..1251482 100644 --- a/publications.html +++ b/publications.html @@ -37,6 +37,11 @@