Bassel Mannaa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Bas Spitters
14 publications
Andrew M. Pitts
9 publications
Rasmus Ejlers Møgelberg
8 publications
Niccolò Veltri
8 publications
Ranald Clouston
4 publications

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...

0 Bassel Mannaa, et al. ∙

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...

0 Bassel Mannaa, et al. ∙

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...

0 Ranald Clouston, et al. ∙