research
∙
07/03/2023
Twisted Cubes and their Applications in Type Theory
This thesis captures the ongoing development of twisted cubes, which is ...
research
∙
02/27/2019