Inductive specification using a top-down definition
Inductive specification is a powerful method for specifying a set of values.  And, a top-down...
Tags: eopl, elm, math