Neumann, J. (2025). A Judgmental Construction of Directed Type Theory.
Style de citation Chicago (17e éd.)Neumann, Jacob. A Judgmental Construction of Directed Type Theory. 2025.
Style de citation MLA (9e éd.)Neumann, Jacob. A Judgmental Construction of Directed Type Theory. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.