• Login
• Admin

Hutton, Graham and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland.

Full text not available from this repository.

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

Item Type:	Conference or Workshop Item (Paper)
RIS ID:	https://nottingham-repository.worktribe.com/output/1025037
Schools/Departments:	University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User:	Hutton, Graham
Date Deposited:	26 Oct 2005
Last Modified:	04 May 2020 20:33
URI:	https://eprints.nottingham.ac.uk/id/eprint/240

Actions (Archive Staff Only)

Edit View