极化范畴理论、模块和游戏语义。

科科特,J.R.B。;R.A.G.西利。

范畴理论与应用【仅限电子】(2007)

  • 第18卷,第4-101页
  • 国际标准编号:1201-561X

如何引用

顶部

Cockett,J.R.B.和Seely,R.A.G.“极化范畴理论、模块和游戏语义……”范畴的理论和应用[仅电子]18 (2007): 4-101. <http://eudml.org/doc/127731>.

@文章{Cockett2007,
作者={Cockett,J.R.B.,Seely,R.A.G.},
journal={范畴的理论与应用[仅电子版]},
关键词={极化类别;极化线性逻辑;博弈语义;分类语义;极化},
语言={eng},
页数={4-101},
publisher={埃里森山大学数学与计算机科学系,萨克维尔},
title={极化范畴理论、模块和游戏语义。},
url={http://eudml.org/doc/127731},
体积={18},
年份={2007},
}

TY-JOUR公司
澳大利亚科克特,J.R.B。
澳大利亚-西利,R.A.G。
极化范畴理论、模块和游戏语义。
JO-分类理论与应用[仅限电子版]
2007年上半年
PB-萨克维尔阿利森山大学数学与计算机科学系
VL-18
SP-4
第101页
洛杉矶-eng
KW——极化类别;极化线性逻辑;游戏语义;范畴语义;极化
UR-(欧元)http://eudml.org/doc/127731
急诊室-

要在页面上嵌入这些注释,请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少注释。您可以使用下一个和上一个控件循环查看其他注释。

    
                

注意:最佳实践建议在结束之前放置JavaScript代码</body>标签。