Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
autor
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
ISSN
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
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.