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

Cristina Matache, Sean K. Moss, Sam Staton

Browse the full LICS paper archive.