An induction principle for nested datatypes in intensional type theory.
Ralph MatthesPublished in: J. Funct. Program. (2009)
Keyphrases
- data types
- formal theory
- database management systems
- computational model
- theoretical framework
- data model
- information theory
- structural risk minimization
- database
- rule induction
- inductive inference
- theoretical basis
- belief functions
- context dependent
- higher order
- object oriented
- data structure
- similarity measure
- database systems
- genetic algorithm
- real world