full record print

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory

author
Mannaa, Bassel
Mogelberg, Rasmus Ejlers
Veltri, Niccolo
statement of authorship
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
source
publisher
journal volume number month
Vol. 16, 4
year of publication
pages
p. 17:1 - 17:31
url
ISSN
1860-5974
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
language
inglise
Reserch Group
High-assurance software laboratory
Mannaa, B., Møgelberg, R.E., Veltri, N. Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory // Logical Methods in Computer Science (2020) Vol. 16, 4, p. 17:1 - 17:31. https://doi.org/10.23638/LMCS-16(4:17)2020