Jakob von Raumer | DeepAI

DeepAI

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

Featured Co-authors

Nicolai Kraus
10 publications

research

∙ 07/04/2021

A Rewriting Coherence Theorem with Applications in Homotopy Type Theory

Higher-dimensional rewriting systems are tools to analyse the structure ...

0 Nicolai Kraus, et al. ∙

research

∙ 01/21/2020

Coherence via Wellfoundedness

Homotopy type theory allows us to work with the higher-dimensional struc...

0 Nicolai Kraus, et al. ∙

research

∙ 01/17/2019

Path Spaces of Higher Inductive Types in Homotopy Type Theory

The study of equality types is central to homotopy type theory. Characte...

0 Nicolai Kraus, et al. ∙