Archived tweet #3891 from the @leastfixedpoint Twitter Archive

@zooko ... that by defining a lattice of abstr. vals from yr concr. vals, and using abstr. addrs, you get abstr. interpretations for free