leastfixedpoint

Archived tweet #10001 from the @leastfixedpoint Twitter Archive
RT @arntzenius: The expression problem is really about the tension between two useful ways to extend a system: 1. Defining new things by g…