A complete equational axiomatisation of partial differentiation

Gordon D. Plotkin

We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is compl…