algebraic semantics

formal semantics based on algebras

Catégories :