J. Baez and A. Hoffnung, Convenient Categories of Smooth Spaces, to appear in Transactions of the, 2010.

M. Barr, The Chu construction, Theory and Applications of Categories 2, pp.17-35, 1996.

R. Blute, R. Cockett, and R. Seely, Differential categories, Mathematical Structures in Computer Science, vol.16, issue.06, pp.1049-1083, 2006.
DOI : 10.1017/S0960129506005676

R. Blute, R. Cockett, and R. Seely, Cartesian differential categories, Theory and Applications of Categories 22, pp.622-672, 2009.

J. Boman, Differentiability of a Function and of its Compositions with Functions of One Variable., MATHEMATICA SCANDINAVICA, vol.20, pp.249-268, 1967.
DOI : 10.7146/math.scand.a-10835

A. Bucciarelli, T. Ehrhard, and G. Manzonetto, Categorical Models for Simply Typed Resource Calculi, Proceedings of Mathematical Foundations of Programming Semantics, 2010.
DOI : 10.1016/j.entcs.2010.08.013
URL : https://hal.archives-ouvertes.fr/hal-00527229

T. Ehrhard, On Köthe sequence spaces and linear logic, Mathematical Structures in Computer Science, vol.12, pp.579-623, 2002.

T. Ehrhard, Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, pp.615-646, 2005.
DOI : 10.1017/S0960129504004645
URL : https://hal.archives-ouvertes.fr/hal-00150276

T. Ehrhard and O. Laurent, On differential interaction nets and the pi-calculus, HAL technical report, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00096280

T. Ehrhard and O. Laurent, Interpreting a finitary ?-calculus in differential interaction nets, CONCUR, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00483780

T. Ehrhard and L. Regnier, The differential lambda-calculus, Theoretical Computer Science, vol.309, issue.1-3, pp.1-41, 2003.
DOI : 10.1016/S0304-3975(03)00392-X
URL : https://hal.archives-ouvertes.fr/hal-00150572

T. Ehrhard and L. Regnier, Differential interaction nets, Theoretical Computer Science, 2006.
DOI : 10.1016/j.entcs.2004.06.060
URL : https://hal.archives-ouvertes.fr/hal-00150274

I. Gelfand and S. Fomin, Calculus of Variations, 2000.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Y. Girard, Y. Lafont, and P. Taylor, Proofs and Types, Cambridge Tracts in Theoretical Computer Science, 1989.

. Hogbe-nlend, Bornologies and Functional Analysis, 1977.

M. Hyland and A. Schalk, Glueing and orthogonality for models of linear logic, Theoretical Computer Science, vol.294, issue.1-2, pp.183-231, 2003.
DOI : 10.1016/S0304-3975(01)00241-9

A. Kriegl and P. Michor, The Convenient Setting of Global Analysis, 1997.
DOI : 10.1090/surv/053

P. Melliés, Categorical semantics of linear logic, 2008.