Aarhus University Seal

Daniel Gratzer

  1. 2022
  2. Published

    Normalization for Multimodal Type Theory. / Daniel, Gratzer.

    Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. Association for Computing Machinery, 2022. 2 (Proceedings - Symposium on Logic in Computer Science).

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

  3. Published

    Modalities and Parametric Adjoints. / Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A. et al.

    In: ACM Transactions on Computational Logic, Vol. 23, No. 3, 18, 07.2022.

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

  4. Published

    A Stratified Approach to Löb Induction. / Gratzer, Daniel; Birkedal, Lars.

    7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. ed. / Amy P. Felty. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022. 23 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 228).

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

  5. Published

    A cubical language for bishop sets. / Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel.

    In: Logical Methods in Computer Science, Vol. 18, No. 1, 03.2022, p. 43:1-43:80.

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

  6. Published

    Unifying Cubical and Multimodal Type Theory. / Aagaard, Frederik Lerbjerg; Kristensen, Magnus; Gratzer, Daniel et al.

    2022. Abstract from 28th International Conference on Types for Proofs and Programs, Nantes, France.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  7. 2021
  8. Published

    Multimodal Dependent Type Theory. / Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas et al.

    In: Logical Methods in Computer Science, Vol. 17, No. 3, 11, 07.2021.

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

  9. Published

    Transfinite Iris : Resolving an existential dilemma of step-indexed separation logic. / Spies, Simon; Gäher, Lennard; Gratzer, Daniel et al.

    PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ed. / Stephen N. Freund; Eran Yahav. New York : Association for Computing Machinery, 2021. p. 80-95.

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

  10. 2020
  11. Published

    Multimodal Dependent Type Theory. / Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas et al.

    Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. S.l. : Association for Computing Machinery, 2020. p. 492-506 3394736 (ACM International Conference Proceeding Series).

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

  12. 2019
  13. Published

    Cubical syntax for reflection-free extensional equality. / Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel.

    4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. ed. / Herman Geuvers. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 31 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 131).

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

  14. Published

    Implementing a modal dependent type theory. / Gratzer, Daniel; Sterling, Jonathan; Birkedal, Lars.

    In: Proceedings of the ACM on Programming Languages, Vol. 3, No. ICFP, 107, 2019, p. 1-29.

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

  15. Published

    Iron: managing obligations in higher-order concurrent separation logic. / Bizjak, Ales; Gratzer, Daniel; Krebbers, Robbert et al.

    In: Proceedings of the ACM on Programming Languages, Vol. 3, No. POPL, 65, 2019, p. 1-30.

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