ITU

Mathematical Structures in Computer Science

  1. Published

    Denotational semantics for guarded dependent type theory

    Bizjak, A. & Møgelberg, R. E., Apr 2020, In: Mathematical Structures in Computer Science. 30, 4, p. 342-378

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  2. Published

    Modal dependent type theory and dependent right adjoints

    Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In: Mathematical Structures in Computer Science. 21 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 15 May 2018, In: Mathematical Structures in Computer Science. 46 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. Published

    Convergence in infinitary term graph rewriting systems is simple

    Bahr, P., 9 Aug 2018, In: Mathematical Structures in Computer Science. p. 1-52

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. Quotienting the delay monad by weak bisimilarity

    Chapman, J., Uustalu, T. & Veltri, N., 2017, In: Mathematical Structures in Computer Science. p. 1-26

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. Published

    Realisability semantics of parametric polymorphism, general references and recursive types

    Birkedal, L., Støvring, K. & Thamsborg, J. J., 2010, In: Mathematical Structures in Computer Science. 20, 4, p. 655-703

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  7. Published

    Modal and Mixed Specifications: Key Decision Problems and their Complexities

    Antonik, A., Huth, M., Larsen, K. G., Nyman, U. M. & Wasowski, A., 2010, In: Mathematical Structures in Computer Science. 20, p. 75-103

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  8. Published

    From parametric polymorphism to models of polymorphic FPC

    Møgelberg, R. E., 2009, In: Mathematical Structures in Computer Science. 19, 4, p. 639-686

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 126245