Graham Hutton
Research Repository
See what's under the surface
Research Repository
See what's under the surface
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 |
difun.pdf (174 Kb)
Version
NA - Not Applicable (or Unknown)
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)