Research Repository

See what's under the surface

Making Functionality More General

Hutton, Graham; Voermans, Ed


Graham Hutton

Ed Voermans


The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are precisely those satisfying the simple equation f = f o fu o f, where "o" and "u" are respectively the composition and converse operators for relations. This article forms part of "A calculational theory of pers as types".

Publication Date Jan 1, 1992
Peer Reviewed Peer Reviewed
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf


Downloadable Citations