@misc{indiciae19aaa1c64d63, title = {Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)}, author = {Cristina Matache and Sean Moss and Sam Staton}, year = {2022}, doi = {10.1145/3531130.3533370}, url = {https://arxiv.org/abs/2205.15917}, note = {Source identifier: 2205.15917} }