The Embedding Path Order for Lambda-Free Higher-Order Terms.

Alexander Bentkamp

Published in: FLAP (2021)

Keyphrases

higher order
lambda calculus
real time
artificial intelligence
denoising
natural images
low order
database
search engine
metadata
case study
pairwise
probabilistic model
fuzzy sets
lower order