Ahman, D., & Bauer, A. (2025). Comodule representations of second-order functionals. Journal of logical and algebraic methods in programming, 146, 101071. https://doi.org/10.1016/j.jlamp.2025.101071
Chicago Style (17th ed.) CitationAhman, Danel, and Andrej Bauer. "Comodule Representations of Second-order Functionals." Journal of Logical and Algebraic Methods in Programming 146 (2025): 101071. https://doi.org/10.1016/j.jlamp.2025.101071.
MLA (9th ed.) CitationAhman, Danel, and Andrej Bauer. "Comodule Representations of Second-order Functionals." Journal of Logical and Algebraic Methods in Programming, vol. 146, 2025, p. 101071, https://doi.org/10.1016/j.jlamp.2025.101071.
Warning: These citations may not always be 100% accurate.