<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

Data Types as Lattices

Name: Data Types as Lattices
Creator: Scott, Dana
Keywords: Recursively (computably) enumerable sets and degrees, Combinatory logic and lambda calculus, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Computability and recursion theory on ordinals, admissible sets, etc.

Data types as lattices

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book 01 Sep 1976Publisher:Society for Industrial & Applied Mathematics (SIAM)Journal:SIAM Journal on Computing, volume 5, pages 522-587 (issn: 0097-5397, eissn: 1095-7111,

Authors: Scott, Dana;

doi: 10.1137/0205037 , 10.1007/bfb0079432

Data Types as Lattices

- Summary
- Subjects
- Metrics

No summary information available

Keywords

Recursively (computably) enumerable sets and degrees, Combinatory logic and lambda calculus, Computability and recursion theory on ordinals, admissible sets, etc.

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).	543
	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.	Top 1%
	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 0.01%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%