Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)

Cristina Matache, Sean K. Moss, Sam Staton