TitleStrict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity
Publication TypeConference Paper
Year of Publication2004
AuthorsBou F
EditorSasaki K.
Conference NameProceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004
Pagination38–40