Variations on Algebra: Monadicity and Generalisations of Equational Theories.

Edmund Robinson

Published in: Formal Aspects Comput. (2002)

Keyphrases

equational theories
theorem proving
data model
query language
relational algebra
algebraic expressions
machine learning
real numbers
algebraic operations
algebraic geometry