Some really swell notes on domain theory I found. They introduce the core aspects of domain theory/denotational semantics for things with recursion. They’re also pretty easy going math-wise but still rigorous.

These are great! Coincidentally, I just finished working my way through the second chapter of Tom Stuart’s book, Understanding Computation, in which the author walks you through a Ruby implementation of the simple imperative language described in these notes. The book has been a pleasant way to get acquainted with the material but the math is only alluded to - these slides were great for filling in the mathematics that were glossed over.

Some really swell notes on domain theory I found. They introduce the core aspects of domain theory/denotational semantics for things with recursion. They’re also pretty easy going math-wise but still rigorous.

These are great! Coincidentally, I just finished working my way through the second chapter of Tom Stuart’s book, Understanding Computation, in which the author walks you through a Ruby implementation of the simple imperative language described in these notes. The book has been a pleasant way to get acquainted with the material but the math is only alluded to - these slides were great for filling in the mathematics that were glossed over.