A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.

Shin-ya Katsumata

Published in: CSL (2008)

Keyphrases

closure operator
fixed point
sufficient conditions
dynamical systems
belief propagation
artificial intelligence
decision trees
query language