Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
author
statement of authorship
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
publisher
journal volume number month
Vol. 16, 4
year of publication
pages
p. 17:1 - 17:31
keyword
ISSN
1860-5974
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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.