Inductive specification using a bottom-up definition
Psst: The paper, Inductive Graphs and Functional Graph Algorithms, I shared near the end of this post...
Tags: eopl, elm, math