Universal Algebra in Type Theory.

Venanzio Capretta

Published in: TPHOLs (1999)

Keyphrases

real world
data model
query language
theoretical framework
boolean algebra
information systems
multi agent
algebraic structure
algebraic geometry
laplace transform
real time
data mining
expert systems
object oriented
theoretical foundation
mathematical models