| Title | Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Bou F |
| Editor | Sasaki K. |
| Conference Name | Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004 |
| Pagination | 38–40 |
