leastfixedpoint

Archived tweet #2092 from the @leastfixedpoint Twitter Archive
An example of what I was talking about in previous tweet: p22 of http://www.ccs.neu.edu/racket/pubs/dissertation-cobbe.pdf