Initiality for Typed Syntax and Semantics.

Benedikt Ahrens

Published in: J. Formaliz. Reason. (2015)

Keyphrases

higher order
lambda calculus
decision making
fixed order
databases
website
spatio temporal
data sets
feature selection
high level
data structure
small number
general purpose
co occurrence