Making Functionality More General
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 equatio...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
1992
|
| Online Access: | https://eprints.nottingham.ac.uk/240/ |
| _version_ | 1848790377254879232 |
|---|---|
| author | Hutton, Graham Voermans, Ed |
| author_facet | Hutton, Graham Voermans, Ed |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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". |
| first_indexed | 2025-11-14T18:11:39Z |
| format | Conference or Workshop Item |
| id | nottingham-240 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:39Z |
| publishDate | 1992 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2402020-05-04T20:33:51Z https://eprints.nottingham.ac.uk/240/ Making Functionality More General Hutton, Graham Voermans, Ed 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". 1992 Conference or Workshop Item PeerReviewed Hutton, Graham and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland. |
| spellingShingle | Hutton, Graham Voermans, Ed Making Functionality More General |
| title | Making Functionality More General |
| title_full | Making Functionality More General |
| title_fullStr | Making Functionality More General |
| title_full_unstemmed | Making Functionality More General |
| title_short | Making Functionality More General |
| title_sort | making functionality more general |
| url | https://eprints.nottingham.ac.uk/240/ |