leastfixedpoint

Archived tweet #1596 from the @leastfixedpoint Twitter Archive
Oh, that's right, there are many and various ways to model name instantiation using LTSes.