Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
author
Mannaa, Bassel
Mogelberg, Rasmus Ejlers
Veltri, Niccolo
statement of authorship
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
source
Logical Methods in Computer Science
publisher
Logical Methods in Computer Science
journal volume number month
Vol. 16, 4
year of publication
2020
pages
p. 17:1 - 17:31
url
https://doi.org/10.23638/LMCS-16(4:17)2020
subject term
programmeerimine
programmeerimiskeeled
semantiline analüüs
matemaatika
keyword
dependent type theory
guarded recursion
coinductive types
denotational semantics
modal types
ISSN
1860-5974
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory