Initiality for Typed Syntax and Semantics

Benedikt Ahrens

Published in: CoRR (2012)

Keyphrases

special case
higher order
lambda calculus
machine learning
fixed order
data sets
feature extraction
reinforcement learning
support vector
multi class
general purpose