Algebraic conversions

dc.contributor.authorMills, Bruce
dc.date.accessioned2013-05-06T23:53:40Z
dc.date.available2013-05-06T23:53:40Z
dc.date.issued2001
dc.description.abstractAn 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.citationMills, B. (2001), Algebraic conversions, Research Letters in the Information and Mathematical Sciences, 2, 11-17en
dc.identifier.issn1175-2777
dc.identifier.urihttp://hdl.handle.net/10179/4337
dc.language.isoenen
dc.publisherMassey Universityen
dc.subjectHomomorphismen
dc.titleAlgebraic conversionsen
dc.typeArticleen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Algebraic_Conversions.pdf
Size:
111.82 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: