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 Mar 29, 2024
Peer Reviewed Peer Reviewed
Public URL https://nottingham-repository.worktribe.com/output/1025037

Files





You might also like



Downloadable Citations