52 citations · 52 across the 1 of their papers we have counts for
1 paper · 2 filters
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…