Buchholtz, U. T., & Schipp von Branitz, J. (2024, July). Primitive Recursive Dependent Type Theory. Presented at LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia