Publications

• Primitive Recursive Dependent Type Theory” 03/2024 [pdf] [arxiv] (to appear in LICS 2024)
• Draft: “Using Displayed Univalent Graphs to Formalize Higher Groups in Univalent Foundations” 10/2021 [pdf]
• Master Thesis: “Higher Groups via Displayed Univalent Reflexive Graphs in Cubical Type Theory” 10/2020 [pdf]
• Bachelor Thesis: “Structure Results and Generators for Congruence Subgroups and Application to the Weil Representation” 03/2018 [pdf]