What is a categorical model of the differential and the resource lambda-calculi? [article]

Manzonetto Giulio
2010 arXiv   pre-print
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. In particular we propose a general definition of model of these calculi, namely the notion of linear reflexive object in a Cartesian closed differential category. Examples of models based on relations are provided.
arXiv:1011.2307v1 fatcat:bjaj2rb3sjdq7bbs5lt3zadyl4