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

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases