The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
What is a categorical model of the differential and the resource lambda-calculi?
[article]
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