Guarded recursive types in the foundations of programming

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

Programming Logic and Semantics

Projekter: Projekt › Forskning

2 resultater

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, Bind 108. 17 s. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 108).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil
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, s. 317-326 10 s.
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Fil