APA (7th ed.) Citation

Cohen, L., Grunfeld, A., Kirst, D., & Miquey, É. (2025). Syntactic Effectful Realizability in Higher-Order Logic.

Chicago Style (17th ed.) Citation

Cohen, Liron, Ariel Grunfeld, Dominik Kirst, and Étienne Miquey. Syntactic Effectful Realizability in Higher-Order Logic. 2025.

MLA (9th ed.) Citation

Cohen, Liron, et al. Syntactic Effectful Realizability in Higher-Order Logic. 2025.