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

Cristina Matache, Sean K. Moss, Sam Staton