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

autor
Mannaa, Bassel
Mogelberg, Rasmus Ejlers
vastutusandmed
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 16, 4
ilmumisaasta
leheküljed
p. 17:1 - 17:31
võtmesõna
ISSN
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
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