Quotients, inductive types, and quotient inductive types.

Marcelo P. Fiore Andrew M. Pitts S. C. Steenkamp

Published in: CoRR (2021)

Keyphrases

artificial intelligence
data structure
special case
inductive learning
database
decision making
expert systems
multiresolution
query processing
inductive inference