Initial Semantics for higher-order typed syntax in Coq.
Benedikt AhrensJulianna ZsidoPublished in: J. Formaliz. Reason. (2011)
Keyphrases
- higher order
- lambda calculus
- predicate calculus
- higher order logic
- theorem prover
- definition language
- natural images
- operational semantics
- high order
- pairwise
- first order logic
- rule language
- low order
- markov random field
- semantic information
- logic programming
- predicate logic
- precisely defined
- formal semantics
- programming language
- natural language
- high level
- lexical semantics
- database query languages
- machine processable
- conceptual model
- domain specific languages
- databases
- logic programs
- description logics
- knowledge base