Citace podle APA (7th 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
Citace podle Chicago (17th ed.)
Affeldt, Reynald, Jacques Garrigue, a 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..