S.Kobayashi: "Realizability interpretation of generalized inductive definitions" Theoretical Computer Science. 136. (1994)
S.Kobayashi: "Realizability interpretation of generalized inductive definitions" Theoretical Computer Science. 136. (1994)
复制标题
S.Kobayashi：“广义归纳定义的可实现性解释”理论计算机科学。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
LEAP：一种具有 Eval 和多态性的语言
DOI：
--
发表时间：
1989
期刊：
TAPSOFT, Vol.2
影响因子：
--
作者：
F. Pfenning;Peter Lee
通讯作者：
Peter Lee
关于直觉形式系统中 A→B ν C,A →(Ex)B(x) 类型的公式
DOI：
--
发表时间：
1960
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
R. Harrop
通讯作者：
R. Harrop
简单类型论中割消除定理的证明
影响因子：
0.7
作者：
Moto
通讯作者：
Moto
DOI：
10.1007/bfb0038698
发表时间：
1991-02
期刊：
J. Log. Comput.
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller
抽象语法和逻辑编程
DOI：
10.1007/3-540-55460-2_24
发表时间：
1990
期刊：
--
影响因子：
--
作者：
D. Miller
通讯作者：
D. Miller