TY  - RPRT
TI  - Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
AU  - Yue Niu
AU  - Jonathan Sterling
AU  - Robert Harper
PY  - 2024
DO  - 10.46298/entics.14732
UR  - https://arxiv.org/abs/2404.00212
ID  - 2404.00212
ER  -