Categorical Interpretation of Modal Structures under Bisimulation
ISSN: 1647-659X, 2182-2824
Year of publication: 2019
Volume: 22
Issue: 1
Pages: 54-71
Type: Article
ISSN: 1647-659X, 2182-2824
Year of publication: 2019
Volume: 22
Issue: 1
Pages: 54-71
Type: Article