nLab types and calculus

Types and calculus

References

  • 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

Differential lambda calculus

  • Oleksandr Manzyuk, Tangent bundles in differential lambda-categories, arXiv:1202.0411v5

  • Thomas Ehrhard, Laurent Regnier, the differential lambda-calculus, CiteSeerX

Last revised on March 7, 2013 at 19:42:47. See the history of this page for a list of all contributions to it.