Universal domains in the theory of denotational semantics of programming languages | IEEE Conference Publication | IEEE Xplore