Domains for denotational semantics. (English) Zbl 0495.68025

Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 577-613 (1982).


68Q65 Abstract data types; algebraic specification
68P05 Data structures
06A12 Semilattices
03B40 Combinatory logic and lambda calculus
18A15 Foundations, relations to logic and deductive systems
54A05 Topological spaces and generalizations (closure spaces, etc.)


Zbl 0477.00027