Guarded recursive types in the foundations of programming

Møgelberg, Rasmus Ejlers (PI)
Mannaa, Bassel (CoI)
Bahr, Patrick (CoI)

Programming Logic and Semantics

Project: Research

2 Article in proceedings
2 Journal article

2 results

Filter

2018
The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory
Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 108. 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108).
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access
File
2016
Denotational semantics of recursive types in synthetic guarded domain theory
Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 317-326 10 p.
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File