A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille.

Published in: LFMTP@LICS (2019)

Keyphrases

higher order
high level
natural images
high order
markov random field
algebraic expressions
data model
low level
pairwise
higher level
query language
lower order
low order
neural network
object recognition
bayesian networks
information systems
social networks