| b (2007) | |||||||||||||||
Abstract | |||||||||||||||
| We give a necessary and su#cient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, practically useful, and generic in the underlying datatype. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||