Archived tweet #9646 from the @leastfixedpoint Twitter Archive

@dustyweb Hmm. That doesn't line up with what I gathered from (e.g. section 5.2 of) erights.org/talks/promises… or Miller's thesis, but I'm aware E thinking (and terminology?) has moved on since then, so perhaps I'm wrong.