Niu, Y., Sterling, J., & Harper, R. (2024). Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. Electronic Notes in Theoretical Informatics and Computer Science, 4 - Proceedings of..., . https://doi.org/10.46298/entics.14732
Citace podle Chicago (17th ed.)Niu, Yue, Jonathan Sterling, a Robert Harper. "Cost-sensitive Computational Adequacy of Higher-order Recursion in Synthetic Domain Theory." Electronic Notes in Theoretical Informatics and Computer Science 4 - Proceedings of... (2024). https://doi.org/10.46298/entics.14732.
Citace podle MLA (9th ed.)Niu, Yue, et al. "Cost-sensitive Computational Adequacy of Higher-order Recursion in Synthetic Domain Theory." Electronic Notes in Theoretical Informatics and Computer Science, vol. 4 - Proceedings of..., 2024, https://doi.org/10.46298/entics.14732.