algebraic semantics

formal semantics based on algebras

分类: