Giulio. What Is a Categorical Model of the Differential and the Resource Lambda-calculi?. 10 Nov. 2010.