APA-Zitierstil (7. Ausg.)
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
Chicago-Zitierstil (17. Ausg.)
Affeldt, Reynald, Jacques Garrigue, und 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.
MLA-Zitierstil (9. Ausg.)
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.