An Algebra for Higher-Order Terms.

Published in: Arch. Formal Proofs (2019)

Keyphrases

higher order
natural images
data structure
data model
background knowledge
relational algebra
database
pairwise
artificial neural networks
high order
algebraic expressions