leastfixedpoint

Archived tweet #7469 from the @leastfixedpoint Twitter Archive
@cmeik This sounds very interesting! Could you pass on a link to where the formalism is defined?