Doré, M. (2025). Dependent Multiplicities in Dependent Linear Type Theory.
Style de citation Chicago (17e éd.)Doré, Maximilian. Dependent Multiplicities in Dependent Linear Type Theory. 2025.
Style de citation MLA (9e éd.)Doré, Maximilian. Dependent Multiplicities in Dependent Linear Type Theory. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.