The clocks they are adjunctions: Denotational semantics for Clocked Type Theory.

Bassel Mannaa Rasmus Ejlers Møgelberg

Published in: CoRR (2018)

Keyphrases

denotational semantics
programming language
object oriented
operational semantics
query language
low power