leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #10002 from the
@leastfixedpoint Twitter Archive
@arntzenius ... while preserving global invariants!
