Linear Depth Increase of Lambda Terms in Leftmost-Outermost Beta-Reduction Rewrite Sequences.

Clemens Grabmayer

Published in: CoRR (2016)

Keyphrases

neural network
website
depth information
hidden markov models
real time
computer vision
bayesian networks
closed form
fixed point