Archived tweet #10693 from the @leastfixedpoint Twitter Archive@CreeepyJoe @cyberglot @JadeMasterMath The intro to @aaron_turon's dissertation lays out one (IMO useful and good) CS perspective very clearly: sigplan.org/Awards/Dissert… section 2.1, page 11