values and computationLast updated Feb 3, 2024Universal Properties of Impure Programming Languages (Staton, Levy)