algebraic semantics

formal semantics based on algebras

Kategorier: