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
Logical Methods in Computer Science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
Vol. 16, 4
ilmumisaasta
2020
leheküljed
p. 17:1 - 17:31
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
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85101631804&origin=inward&txGid=67cf5a96ab1788d427080e674c68379c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000605983500019
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium