Algebraic conversions
Loading...
Date
2001
DOI
Open Access Location
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Massey University
Rights
Abstract
An examination of the pure algebraic properties of computational type conversion leads to a new
generalizations of the concept of a homomorphism for which the term conversion seems appropriate.
While an homomorphism is a mapping that respects the value of all terms, a conversion is a mapping
that respects the value of all sufficiently small terms. Such a mapping has practical value, as well
as theoretical interest that stems from conversions forming a category. This paper gives a precise
definition of the concept and demonstrates an application to formal computer science based on
work completed by the author in his PhD thesis.
Description
Keywords
Homomorphism
Citation
Mills, B. (2001), Algebraic conversions, Research Letters in the Information and Mathematical Sciences, 2, 11-17