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