机构名称：
¥ 2.0
从线性逻辑，定量语义中汲取灵感旨在代表有关程序及其执行的定量信息：它们包括关系模型及其众多扩展，游戏语义和句法方法，例如非互动交叉点类型以及taylor的扩展。这些模型的关键特征是将程序解释为消耗资源“袋子”的证人。“袋子”通常被视为有限的多人，即商结构。在关系模型的分类中通常看到的另一种方法是使用无关紧要的结构（例如secience）与此处称为符号的显式形态有关，表达资源的交换。对称性显然是这些分类模型的核心，但我们认为它们的兴趣超出了这些模型，尤其是，在某些非分类的定量模型（例如加权关系模型或泰勒的扩展）中，对称性泄漏在数字形式下的组合解释形式并不总是清晰。在本文中，我们建立在一个最近的生物模型的基础上，称为Clairambault和Forest介绍的类似薄的群。不明确，细跨度具有对称性分解为两种偏光和负对称性的亚组。我们首先根据序列而不是家庭构建薄跨度原始指数的变体。然后，就刚性相交的类型和刚性资源术语而言，我们对薄跨度简单类型的the的解释进行了句法表征。最后，我们将薄跨度与加权的相对模型和广义结构物种相关联。这使我们能够展示这些模型中的某些数量如何反映两极分化的符号：特别是我们表明，加权的关系模型是从一般结构物种中计数的证人，除以一组正对称性的基本主教。
定量语义中对称性的分析
主要关键词
相关文件推荐
