TítolStrict 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
Paginació38–40