Scott, Dana S. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 ReviewsCited in 112 Documents 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.) Keywords:lambda calculus; information system; cpo’s; fixed-point operator; S- expression; computability; finite approximations PDF BibTeX XML