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

Cristina Matache, Sean Moss, Sam Staton

We study concrete sheaf models for a call-by-value higher-order language with recursion. Our family of sheaf models is a generalization of many examples from the literature, such a…