algebraic semantics

formal semantics based on algebras

Kategoriler: