A categorical framework for congruence of applicative bisimilarity in higher-order languages.

Tom Hirschowitz Ambroise Lafont

Published in: CoRR (2021)

Keyphrases

higher order
main contribution
lightweight
expressive power
real time
neural network
knowledge base
high order
data mining
pairwise
probabilistic model
markov random field
natural images
conceptual framework
language independent