Skip to main content

Research Repository

Advanced Search

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".

Citation

Hutton, G., & Voermans, E. (1992). Making Functionality More General

Conference Name Proceedings of the 1991 Glasgow Workshop on Functional Programming
Publication Date Jan 1, 1992
Deposit Date Oct 26, 2005
Publicly Available Date Oct 9, 2007
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/240
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/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