Symbolic manipulation in an extended λ-calculus
Terry Flaherty · ACM SIGSAM Bulletin · 1988
A symbolic differentiation functional that handles expressions containing free and bound variables in an extended λ-calculus programming language (SRL) is described. A formalization of partial derivatives of functions wrt position of parameters is presented.