The actor model features unbounded nondeterminism which was captured in a mathematical model by Will Clinger using domain theory.
23.
His own early work on magnetic domain theory, he said, was something " we were doing for pure curiosity ."
24.
In domain theory, it is natural to seek to approximate the elements in a partial order by " much simpler " elements.
25.
The second generalisation, created with Viggo Stoltenberg-Hansen, focuses on implementing data types using approximations contained in the ordered structures of domain theory.
26.
Alexandrov spaces were also rediscovered around the same time in the context of topologies resulting from denotational semantics and domain theory in computer science.
27.
A domain theory is " perfect " or " complete " if it contains, in principle, all information needed to decide any question about the domain.
28.
Indeed, in the theory of metric spaces, sequences play a role that is in many aspects analogous to the role of directed sets in domain theory.
29.
Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction.
30.
Findings from a Social Domain Theory perspective show that children are sensitive to the context of exclusion and pay attention to different variables when judging or evaluating exclusion.
