Initial Semantics for higher-order typed syntax
Benedikt AhrensJulianna ZsidoPublished in: CoRR (2010)
Keyphrases
- higher order
- lambda calculus
- predicate calculus
- higher order logic
- operational semantics
- pairwise
- rule language
- low order
- high order
- logic programming
- natural images
- lexical semantics
- markov random field
- attribute grammars
- lower order
- conceptual graphs
- semantic constraints
- definition language
- natural language
- semantic representation
- machine learning
- programming language
- precisely defined
- high level