Encodability and Separation for a Reflective Higher-Order Calculus.

Stian Lasse Lybech

Published in: EXPRESS/SOS (2022)

Keyphrases

higher order
high order
pairwise
lambda calculus
natural images
markov models
low order
reflective learning
database query languages
markov random field
algebraic structure
automated deduction
conditional random fields
neural network
object recognition
computer vision
social networks