APA (7th ed.) Citation

Goncharov, S., Milius, S., Schröder, L., Tsampas, S., & Urbat, H. (2023). Towards a Higher-Order Mathematical Operational Semantics. Proceedings of ACM on programming languages, 7(POPL), 632-658. https://doi.org/10.1145/3571215

Chicago Style (17th ed.) Citation

Goncharov, Sergey, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. "Towards a Higher-Order Mathematical Operational Semantics." Proceedings of ACM on Programming Languages 7, no. POPL (2023): 632-658. https://doi.org/10.1145/3571215.

MLA (9th ed.) Citation

Goncharov, Sergey, et al. "Towards a Higher-Order Mathematical Operational Semantics." Proceedings of ACM on Programming Languages, vol. 7, no. POPL, 2023, pp. 632-658, https://doi.org/10.1145/3571215.