Twisted Cubes and their Applications in Type TheoryTools Pinyo, Gun (2023) Twisted Cubes and their Applications in Type Theory. PhD thesis, University of Nottingham.
AbstractThis thesis captures the ongoing development of twisted cubes, which is a modification of cubes (in a topological sense) where its homotopy type theory does not require paths or higher paths to be invertible. My original motivation to develop the twisted cubes was to resolve the incompatibility between cubical type theory and directed type theory.
Actions (Archive Staff Only)
