What is a categorical model of the differential and the resource lambda-calculi?
Logic in Computer Science
2010-11-11 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1011.2307,
title = {What is a categorical model of the differential and the resource lambda-calculi?},
author = {Manzonetto Giulio},
journal= {arXiv preprint arXiv:1011.2307},
year = {2010}
}