3 ms·
They are also absolutely everywhere in formal semantics and especially in abstract interpretation. They are cool constructs!
by frabert 6y ago
They are also absolutely everywhere in formal semantics and especially in abstract interpretation. They are cool constructs!