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

Status	Finished
Effective start/end date	01/07/2015 → 31/01/2019

Funding

Independent Research Fund Denmark: DKK2,571,358.00

Keywords

Programming languages
logic
type theory
recursion

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
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