DOI10.1016/0890-5401(92)90011-4zbMath0752.68054MaRDI QIDQ1198950
S. Singh
Publication date: 16 January 1993 Published in: Information and Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0890-5401(92)90011-4
zbMATH Keywords
denotational semantics of programming languages; \(dI\)-domains
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
Cites Work