3 ms·Semantics, especially Denotational and Axiomatic.by stonemetal 15y agoSemantics, especially Denotational and Axiomatic.