Cita APA (7a ed.)
Affeldt, R., Garrigue, J., & Saikawa, T. (Jan 2025). A practical formalization of monadic equational reasoning in dependent-type theory. Journal of Functional Programming. https://doi.org/10.1017/S0956796824000157
Cita Chicago Style (17a ed.)
Affeldt, Reynald, Jacques Garrigue, y Takafumi Saikawa. "A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory." Journal of Functional Programming Jan 2025. https://doi.org/10.1017/S0956796824000157.
Cita MLA (9a ed.)
Affeldt, Reynald, et al. "A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory." Journal of Functional Programming, Jan 2025, https://doi.org/10.1017/S0956796824000157.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.