×

zbMATH — the first resource for mathematics

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).

MSC:
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.)