algebraic semantics

form of axiomatic semantics

Categories: