Gun Pinyo | DeepAI

DeepAI

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

Featured Co-authors

Nicolai Kraus
10 publications

research

∙ 07/03/2023

Twisted Cubes and their Applications in Type Theory

This thesis captures the ongoing development of twisted cubes, which is ...

0 Gun Pinyo, et al. ∙

research

∙ 02/27/2019

From Cubes to Twisted Cubes via Graph Morphisms in Type Theory

Cube categories are used to encode higher-dimensional structures. They h...

0 Gun Pinyo, et al. ∙