Making Functionality More General

Hutton, Graham; Voermans, Ed

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