A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

Andrea Corradini Fabio Gadducci

Published in: Theor. Comput. Sci. (2002)

Keyphrases

distributive lattices
temporal reasoning
formal semantics
clifford algebra
object oriented
predicate calculus
definition language
boolean algebra
machine processable