@article{entics:14732,
    title      = {Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory},
    author     = {Yue Niu and Jonathan Sterling and Robert Harper},
    url        = {https://entics.episciences.org/14732},
    doi        = {10.46298/entics.14732},
    journal    = {Electronic Notes in Theoretical Informatics and Computer Science},
    issn       = {2969-2431},
    volume     = {Volume 4 - Proceedings of MFPS XL},
    eid        = 18,
    year       = {2024},
    month      = {Dec},
    keywords   = {Computer Science - Programming Languages},
}