Primitive Recursive Dependent Type Theory. - Ulrik Torben Buchholtz; Johannes Schipp von Branitz (LICS, 2024)