Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories.

Gaspard Férey Jean-Pierre Jouannaud

Published in: PPDP (2021)

Keyphrases

higher order
low order
high order
natural images
real time
neural network
linear systems
markov random field
linear complexity
lambda calculus
machine learning
pairwise
transfer function
cognitive psychology
defeasible logic
anti unification