Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
复制标题
关于莱尔德对偶仿射/直觉 λ 演算证明项的语义完整性的评论
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Mitsuhiro Okada
中科院分区：
文献类型：
--
作者：
Masahiro Hamano;Ryo Takemura;山田 晋之介;山田 晋之介;Yuri Sato;山田 晋之介;Yuri Sato;Mitsuhiro Okada
登录
查看更多内容
编程语言的类型系统
DOI：
10.1016/b978-0-444-88074-1.50013-5
发表时间：
1991
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Didier Rémy
通讯作者：
Didier Rémy
各种一阶和高阶逻辑的割除消除和完备性的统一语义证明
DOI：
10.1016/s0304-3975(02)00024-5
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Okada
通讯作者：
M. Okada
游戏语义和线性 CPS 解释
DOI：
10.1016/j.tcs.2004.10.022
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
J. Laird
通讯作者：
J. Laird
迭代归纳定义的直觉主义理论 Hauptsatz
DOI：
--
发表时间：
1971
期刊：
影响因子：
--
作者：
P. Martin
通讯作者：
P. Martin
组合器和 Lambda 演算简介
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
J. Hindley;J. Seldin
通讯作者：
J. Seldin