Gordon Plotkin. A Complete Equational Axiomatisation of Partial Differentiation.
Channel: MFPS 2020
Date: 2020-05-31

Gordon Plotkin. A Complete Equational Axiomatisation of Partial Differentiation.