leastfixedpoint

Archived tweet #11650 from the @leastfixedpoint Twitter Archive
@arntzenius I never did more than dip a toe into the water - a dataspace looks a bit opponentish - but if I ever go further, I'll be looking into multi-agent semantics. Dataspaces might be a bridge from multi- to two-party games?