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
allikas
ajakirja aastakäik number kuu
arXiv:2004.01709
ilmumisaasta
leheküljed
p. 1-30
võtmesõna
ISSN
2331-8422
märkused
Includes bibliogr
Open Access
Open Access
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 // arXiv.org (2020) arXiv:2004.01709, p. 1-30.