Publications

Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity

Publication Type:

Conference Paper

Authors:

Fèlix Bou

Source:

Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004, p.38--40 (2004)

»