Archived tweet #10729 from the @leastfixedpoint Twitter Archive

I've always been a bit sad at the *size* of the presentation of the semantics for Dataspaces. Lambda calculus is so elegantly minimal. But looking at presentations for other languages, e.g. prolog, featherweight-java, it doesn't look as bulky as it did before. Not so bad maybe!