Third-order functionals on partial combinatory algebras.

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

higher order
special case
distributive lattices
data mining
image processing
partial information
database
high level
lower bound