APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Niu, Yue, Jonathan Sterling, and 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.

MLA (9th ed.) Citation

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.