Research Repository

See what's under the surface

Making Functionality More General

Hutton, Graham; Voermans, Ed

Authors

Ed Voermans

Abstract

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
Institution Citation Hutton, G., & Voermans, E. (1992). Making Functionality More General
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf

Files

difun.pdf (174 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf




You might also like


Downloadable Citations