Linearity in higher-order recursion schemes.

Pierre Clairambault Charles Grellois Andrzej S. Murawski

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

higher order
lower order
high order
natural images
markov random field
deductive databases
pairwise
neural network
complex objects
markov models
databases
transitive closure
low order
lambda calculus
evolutionary algorithm
multi agent
three dimensional
computer vision
real world