Archived tweet #1983 from the @leastfixedpoint Twitter Archive

This 2009 thesis by Alexey Radul really overlaps with quite a bit of a certain project I worked on in early 2008. (cc @squaremobius)