Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85101631804&origin=inward&txGid=67cf5a96ab1788d427080e674c68379c
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