Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Clément Houtmann

Published in: CL&C (2010)

Keyphrases

fixed point
development environment
lambda calculus
data mining
pattern recognition
case study
multi agent
high dimensional
special case
probability distribution
sufficient conditions