Substitutions for Lambda-Free Higher-Order Terms.

Vincent Trélat

Published in: Arch. Formal Proofs (2024)

Keyphrases

higher order
lambda calculus
high order
natural images
artificial intelligence
knowledge base
case study
markov random field
pairwise
search algorithm
multi agent
real time
decision making
genetic algorithm
information retrieval
data mining
neural network