One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus.
Michal BuranDavid M. CernaPublished in: CoRR (2022)
Keyphrases
- lambda calculus
- anti unification
- higher order
- first order logic
- predicate calculus
- analogy making
- inductive learning
- programming language
- inductive logic programming
- program understanding
- expressive power
- complex objects
- high level
- data structure
- database query languages
- pairwise
- theorem prover
- domain knowledge
- software systems
- logic programs
- computer science
- object oriented
- general purpose