@article{niu-2024-cost, title={Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory}, volume={Volume 4 - Proceedings of...}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.14732}, DOI={10.46298/entics.14732}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Niu, Yue and Sterling, Jonathan and Harper, Robert}, year={2024}, month=Dec }