Simple grammar bisimilarity, with an application to session type equivalence

arXiv:2407.04063 · cs.FL, cs.LO · Submitted 2024-07-04 · Read on arXiv