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
Citace podle Chicago (17th ed.)Goncharov, Sergey, Stefan Milius, Lutz Schröder, Stelios Tsampas, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..