Archived tweet #10127 from the @leastfixedpoint Twitter Archive

@ralexstokes I think [1] might be about it. It has links to some papers and blog posts, plus links to the code. [1] kleinvm.sourceforge.net