TY - RPRT TI - What is a categorical model of the differential and the resource lambda-calculi? AU - Manzonetto Giulio PY - 2010 UR - https://arxiv.org/abs/1011.2307 ID - 1011.2307 ER -