Aarhus University Seal

Daniel Gratzer

PhD Student

  • Published

    A cubical language for bishop sets

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Published

    A Stratified Approach to Löb Induction

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Published

    Multimodal Dependent Type Theory

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

View all (8) »

ID: 126576139