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

Revised on March 7, 2013 19:42:47 by Zoran Škoda (161.53.130.104)