On the notion of bimodel for functorial semantics.评价结果

评估详情