Tag: Achim Jung

  • Discussing “Domain Theory”

    Discussing “Domain Theory”

    Domains are certain forms of ordered sets used to address problems in the denotational semantics (mathematical interpretation) of programming languages. The area was invented by Dana Scott in a series of papers starting in 1969, building on earlier work by many others that used lattices. This book (which admittedly, I did not have time to…