Contextual equivalence for inductive definitions with binders in higher order typed functional programming.
Matthew R. LakinAndrew M. PittsPublished in: J. Funct. Program. (2013)
Keyphrases
- functional programming
- higher order
- lambda calculus
- programming language
- functional language
- object oriented programming
- execution model
- quantifier elimination
- pairwise
- machine learning
- inductive learning
- inductive logic programming
- knowledge representation
- multi dimensional
- general purpose
- response time
- context aware
- first order logic
- object oriented
- management system
- data structure
- database