Power domains and second-order predicates
Publication:685429
DOI10.1016/0304-3975(93)90182-SzbMath0784.68054MaRDI QIDQ685429
Publication date: 17 October 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Hyperspaces in general topology (54B20) Function spaces in general topology (54C35) Semantics in the theory of computing (68Q55) Ordered sets (06A99) Semigroup rings, multiplicative semigroups of rings (20M25) Ordered semigroups and monoids (06F05) Continuous lattices and posets, applications (06B35) Many-valued logic (03B50) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Topological semilattices, lattices and applications (22A26)
Related Items (9)
Cites Work
This page was built for publication: Power domains and second-order predicates