Exploring Abstract Algebra in Constructive Type Theory.

Paul B. Jackson

Published in: CADE (1994)

Keyphrases

theoretical framework
set theory
boolean algebra
algebraic geometry
data mining
decision trees
high level
query language
decision theory
general theory
algebraic structure
database query languages
laplace transform