Aarhus University Seal / Aarhus Universitets segl

Hans Bugge Grathwohl

  • Published

    Guarded Cubical Type Theory

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

  • Published

    Guarded Cubical Type Theory

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

  • Published

    The clocks are ticking: No more delays!

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

View all (11) »

ID: 56052359