Kuen-Bang Hou | DeepAI

DeepAI

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

Featured Co-authors

Jonathan Sterling
23 publications
Robert Harper
19 publications
Carlo Angiuli
7 publications
Evan Cavallo
6 publications
Ulrik Buchholtz
5 publications

research

∙ 07/05/2018

The RedPRL Proof Assistant (Invited Paper)

RedPRL is an experimental proof assistant based on Cartesian cubical com...

0 Carlo Angiuli, et al. ∙

research

∙ 02/06/2018

Cellular Cohomology in Homotopy Type Theory

We present a development of cellular cohomology in homotopy type theory....

0 Ulrik Buchholtz, et al. ∙

research

∙ 12/05/2017

Computational Higher Type Theory III: Univalent Universes and Exact Equality

This is the third in a series of papers extending Martin-Löf's meaning e...

0 Carlo Angiuli, et al. ∙