research
∙
04/03/2020
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Clocked Type Theory (CloTT) is a type theory for guarded recursion usefu...
share
research
∙
04/18/2018
The clocks they are adjunctions:Denotational semantics for Clocked Type Theory
Clocked Type Theory (CloTT) is a type theory for guarded recursion usefu...
research
∙
04/14/2018
