Algebraic conversions
dc.contributor.author | Mills, Bruce | |
dc.date.accessioned | 2013-05-06T23:53:40Z | |
dc.date.available | 2013-05-06T23:53:40Z | |
dc.date.issued | 2001 | |
dc.description.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. | en |
dc.identifier.citation | Mills, B. (2001), Algebraic conversions, Research Letters in the Information and Mathematical Sciences, 2, 11-17 | en |
dc.identifier.issn | 1175-2777 | |
dc.identifier.uri | http://hdl.handle.net/10179/4337 | |
dc.language.iso | en | en |
dc.publisher | Massey University | en |
dc.subject | Homomorphism | en |
dc.title | Algebraic conversions | en |
dc.type | Article | en |