Reversible, Irreversible and Optimal lambda-Machines.

Vincent Danos Laurent Regnier

Published in: Theor. Comput. Sci. (1999)

Keyphrases

dynamic programming
cellular automata
machine learning
markov chain
database
real world
multiscale
optimal solution
multiresolution
closed form
optimal control
lambda calculus