On Adding Algebraic Theories with Induction to Typed Lambda Calculi.
Val Breazu-TannenRamesh SubrahmanyamPublished in: AMAST (1991)
Keyphrases
- lambda calculus
- higher order
- qualitative spatial
- machine learning
- predicate calculus
- program synthesis
- programming language
- concept learning
- constructive induction
- sequent calculi
- theoretical framework
- inductive learning
- inductive inference
- rule induction
- subgroup discovery
- database query languages
- mathematical theory
- general theory
- inductive logic programming
- query language