John Baez, this week’s finds in mathematical physics, week 202, web
Conor McBride, The Derivative of a Regular Type is its Type of One-Hole Contexts, pdf
Conor McBride, clowns to the left of me, jokers to the right, pdf
Conor McBride, differential calculus with data types, web
derivatives and dissections of data types, lambda the ultimate, blog
Oleksandr Manzyuk, Tangent bundles in differential lambda-categories, arXiv:1202.0411v5
Thomas Ehrhard, Laurent Regnier, the differential lambda-calculus, CiteSeerX