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

Bassel Mannaa, Rasmus Ejlers Møgelberg

Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning ab…