Reference. Why Domain Theory Matters [oconnor-2024-compsoc]
In this talk I give whirlwind tour of denotational semantics, an oft-neglected but very important branch of theoretical computer science, which truly connects computer programs to mathematics