■ Reference. Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory [niu-sterling-harper-2024]March 2024Yue Niu, Jon Sterling, Robert HarperMFPS '24arXivSlidesAppears in Publications .