APA (7th ed.) Citation

Niu, Y., Sterling, J., & Harper, R. (2024). Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory.

Chicago Style (17th ed.) Citation

Niu, Yue, Jonathan Sterling, and Robert Harper. Cost-sensitive Computational Adequacy of Higher-order Recursion in Synthetic Domain Theory. 2024.

MLA (9th ed.) Citation

Niu, Yue, et al. Cost-sensitive Computational Adequacy of Higher-order Recursion in Synthetic Domain Theory. 2024.