A more general categorical framework for congruence of applicative bisimilarity.

Tom Hirschowitz Ambroise Lafont

Published in: CoRR (2023)

Keyphrases

special case
data sets
hidden markov models
main contribution
multiresolution
mobile robot
theoretical framework