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
ISSN
1860-5974
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
language
inglise
keyword
classifier
kvartiil
category (general)
TTÜ department
Reserch Group
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.