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

Tom Hirschowitz Ambroise Lafont

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

higher order
high order
database
real time
neural network
knowledge representation
lightweight
main contribution
conceptual framework
artificial intelligence
natural images
expressive power
grammatical inference