Buchholtz, U., & von Branitz, J. S. (2024). Primitive Recursive Dependent Type Theory.
Style de citation Chicago (17e éd.)Buchholtz, Ulrik, et Johannes Schipp von Branitz. Primitive Recursive Dependent Type Theory. 2024.
Style de citation MLA (9e éd.)Buchholtz, Ulrik, et Johannes Schipp von Branitz. Primitive Recursive Dependent Type Theory. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.