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

Manzonetto Giulio (1)

1 CS - Computing Science Department

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.

Mots clés: differential lambda calculus resource calculus differential category Teylor expansion relational model

Domaines: Logique en informatique [cs.LO]

Manzonetto Giulio. What is a categorical model of the differential and the resource lambda-calculi?. 2010. ⟨hal-00493990⟩