The approximation theorem for the Λμ-calculus.

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

closed form
error bounds
databases
neural network
approximation algorithms
queueing networks
relative error
approximation methods
von neumann
approximation schemes
database
real time
graphical models