algebraic semantics

form of axiomatic semantics

Kategorier: