Similar Items: A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
- On tractability and congruence distributivity
- Congruence Closure Modulo Groups
- Positive Supercompilation for a Higher-Order Call-By-Value Language
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
- Higher Order Automatic Differentiation of Higher Order Functions