×

Data types as lattices. (English) Zbl 0337.02018


MSC:

03B40 Combinatory logic and lambda calculus
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D25 Recursively (computably) enumerable sets and degrees
PDF BibTeX XML Cite
Full Text: DOI Link