Efficiency of lambda-encodings in total type theory.

Aaron Stump Peng Fu

Published in: J. Funct. Program. (2016)

Keyphrases

decision making
computational complexity
theoretical framework
fixed point
theoretical basis
bayesian networks
computational efficiency
highly efficient
general theory
real world
multi agent
artificial neural networks
evolutionary algorithm
belief functions