Skip to content

A Complete Equational Axiomatisation of Partial Differentiation.

Gordon D. Plotkin

VenueBMFPS
Year2020
ProceedingsMFPS

Browse the full MFPS paper archive.