prindi

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

autor
Mannaa, Bassel
Mogelberg, Rasmus Ejlers
Veltri, Niccolo
vastutusandmed
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
allikas
arXiv.org
ajakirja aastakäik number kuu
arXiv:2004.01709
ilmumisaasta
2020
leheküljed
p. 1-30
leitav
https://doi.org/10.23638/LMCS-16(4:17)2020
märksõna
programmeerimine
programmeerimiskeeled
semantiline analüüs
matemaatika
võtmesõna
dependent type theory
guarded recursion
coinductive types
denotational semantics
modal types
ISSN
2331-8422
märkused
Includes bibliogr
Open Access
Open Access
TTÜ struktuuriüksus
tarkvarateaduse instituut
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. https://doi.org/10.23638/LMCS-16(4:17)2020