Type theories for reactive programming

Møgelberg, Rasmus Ejlers (PI)
Vezzosi, Andrea (CoI)
Graulund, Christian Uldal (CoI)
Kristensen, Magnus Baunsgaard (CoI)
Veltri, Niccolò (CoI)

Programming Logic and Semantics

Project: Research

7 Article in proceedings
3 Journal article
2 Ph.D. thesis
1 Conference article

3 results

Filter

2020
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 Journal › Journal article › Research › peer-review

Open Access
File
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 17:1–17:31 31 p., 6278.
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access
File
2018
The Sequent Calculus of Skew Monoidal Categories
Uustalu, T., Veltri, N. & Zeilberger, N., 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 345-370
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access
File