| Theory and Applications of Inverting Functions as Folds (2007) | |||||||||||||||
Abstract | |||||||||||||||
| This paper is devoted to the proof and applications of a theorem giving conditions under which the inverse of a partial function can be expressed as a relational hylomorphism. The theorem is a generalisation of a previous result, due to Bird and de Moor, that gave conditions under which a total function can be expressed as a relational fold. The theorem is illustrated with three problems, all dealing with constructing trees with various properties. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||