Najmaei, N., van der Weide, N., Ahrens, B., & North, P. R. (2026). From Semantics to Syntax: A Type Theory for Comprehension Categories. Proceedings of the ACM on Programming Languages, 10(POPL), 2409-2438. https://doi.org/10.1145/3776725
Παραπομπή σε μορφή Chicago (17η εκδ.)Najmaei, Niyousha, Niels van der Weide, Benedikt Ahrens, και Paige Randall North. "From Semantics to Syntax: A Type Theory for Comprehension Categories." Proceedings of the ACM on Programming Languages 10, no. POPL (2026): 2409-2438. https://doi.org/10.1145/3776725.
Παραπομπή σε μορφή MLA (9th εκδ.)Najmaei, Niyousha, et al. "From Semantics to Syntax: A Type Theory for Comprehension Categories." Proceedings of the ACM on Programming Languages, vol. 10, no. POPL, 2026, pp. 2409-2438, https://doi.org/10.1145/3776725.