EasyChair Smart Slide
The clocks they are adjunctions. Denotational semantics for Clocked Type Theory
The clocks they are adjunctions. Denotational semantics for Clocked Type Theory