极化范畴理论、模块和游戏语义。
科科特,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代码。