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 |