APA (7th ed.) Zitazioa
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 Style (17th ed.) Zitazioa
Affeldt, Reynald, Jacques Garrigue, eta 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 (9th ed.) Zitazioa
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.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.