From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. - Gun Pinyo; Nicolai Kraus (TYPES, 2019)

Twisted Cubes and their Applications in Type Theory. - Gun Pinyo (CoRR, 2023)