<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Homomorphisms and promotability

Name: Homomorphisms and promotability
Creator: Grant Malcolm
Keywords: 16. Peace & justice, 7. Clean energy, 12. Responsible consumption

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 1989 Netherlands Publisher:Springer Berlin Heidelberg

Authors: Grant Malcolm;

doi: 10.1007/3-540-51305-1_20

handle: 11370/6e8ed4f7-5422-4882-b9d4-9ba592fda068

Homomorphisms and promotability

- Summary
- Metrics

Abstract

The construction of structure-preserving maps, or “homomorphisms,” is described for an arbitrary data type: examples of these functions are given for list- and tree-like structures and types defined by mutual induction. From the definition of a data type it is also possible to infer a “promotion” theorem for proving equalities of homomorphisms.

Country

Netherlands

Related Organizations

University of Groningen
Netherlands

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	24
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average