algebraic semantics

formal semantics based on algebras

Categories: