Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
Karl CraryRobert HarperPublished in: CoRR (2006)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- predicate calculus
- high level
- natural images
- pairwise
- high order
- automated reasoning
- propositional dynamic logic
- low order
- modal logic
- database
- neural network
- operational semantics
- lower order
- proof theory
- database language
- line segments
- markov random field
- probability theory
- classical logic
- anti unification
- predicate logic
- natural language
- asynchronous circuits
- databases
- machine learning
- deontic logic
- definition language
- defeasible logic
- low level
- higher level