Pinyo, G., & Kraus, N. (2019, June). From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. Paper presented at TYPES 2019, Oslo, Norway