leastfixedpoint

Archived tweet #12021 from the @leastfixedpoint Twitter Archive
@ProfMaxNew ... where [Pierce(2005)] is ATTAPL.