On Quantitative Algebraic Higher-Order Theories.

Ugo Dal Lago Furio Honsell Marina Lenisa Paolo Pistone

Published in: CoRR (2022)

Keyphrases

higher order
natural images
high order
markov random field
theoretical framework
quantitative and qualitative
lower order
pairwise
domain knowledge
qualitative and quantitative
lambda calculus
low order
cognitive psychology
conditional random fields
markov models
domain theory
database
objective function
databases