4 ms·

Eg: https://simons.berkeley.edu/talks/michael-mislove-2016-08-30 https://simons.berkeley.edu/talks/michael-mislove-2016-08-30

• AnimalMuppet 5y ago
  No, I'm not going to watch an hour-long video for the answer. The intro seems to be saying that "domains" (undefined) are related to CS, and also related to measure theory. That's... not much to go on...
  • bidirectional 5y ago
    There's an abstract right there: > Measure theory has played an important role for domains in modeling probabilistic computation.
    • AnimalMuppet 5y ago
      Yup. Read it. Without a definition or context for "domains", it doesn't tell me much.
      • bidirectional 5y ago
        Well I'm not sure what to say. Domains require measure theory if you want to model probabilistic programming languages. Domain theory is part of CS. If you don't know what a domain is, that's kind of on you to read up on.