leastfixedpoint

Archived tweet #1838 from the @leastfixedpoint Twitter Archive
@SeanTAllen Well, ... what is a type system but a *logic* of program specification? ;-)