Initiality for Typed Syntax and Semantics.

Benedikt Ahrens

Published in: WoLLIC (2012)

Keyphrases

higher order
lambda calculus
artificial intelligence
decision making
high level
preprocessing
special case
information extraction
fixed order