Department of Computer Science, University of Oxford: Publication - Concrete categories and higher−order recursion (With applications including probability‚ differentiability‚ and full abstraction)