A Categorical Semantics for Polarized MALL
A Categorical Semantics for Polarized MALL
复制标题
极化购物中心的分类语义
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Phil Scott
中科院分区：
文献类型：
--
作者：
Masahiro Hamano;Phil Scott
登录
查看更多内容
游戏和逻辑中的顺序性与并发性
影响因子：
0.5
作者：
S. Abramsky
通讯作者：
S. Abramsky
重新审视线性逻辑的分类模型
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Paul
通讯作者：
Paul
DOI：
10.1017/cbo9780511983504.002
发表时间：
1998-08
期刊：
Acta Mathematica Sinica, English Series
影响因子：
--
作者：
R. Amadio;P. Curien
通讯作者：
R. Amadio;P. Curien
控制类别和对偶性：关于 lambda-mu 演算的分类语义
影响因子：
0.5
作者：
P. Selinger
通讯作者：
P. Selinger
Locus Solum：从逻辑规则到规则逻辑
影响因子：
0.5
作者：
J. Girard
通讯作者：
J. Girard