research
∙
03/06/2023
Asynchronous Modal FRP
Over the past decade, a number of languages for functional reactive prog...
share
research
∙
12/28/2021
Two Guarded Recursive Powerdomains for Applicative Simulation
Clocked Cubical Type Theory is a new type theory combining the power of ...
research
∙
02/03/2021
A model of Clocked Cubical Type Theory
Guarded recursion is a powerful modal approach to recursion that can be ...
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...
research
∙
10/31/2018
Bisimulation as path type for guarded recursive types
In type theory, coinductive types are used to represent processes, and a...
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
Modal Dependent Type Theory and Dependent Right Adjoints
In recent years we have seen several new models of dependent type theory...
research
∙
02/11/2018
