Typed realizability for first-order classical analysis
Typed realizability for first-order classical analysis
复制标题
一阶经典分析的类型化可实现性
DOI：
10.2168/lmcs-11(4:22)2015
复制
发表时间：
2015
影响因子：
0.6
通讯作者：
Blot V
中科院分区：
文献类型：
--
作者：
Blot V
登录
查看更多内容
On bar 分析的递归解释
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Thomas Powell
通讯作者：
Thomas Powell
DOI：
--
发表时间：
1994
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
S. Berardi;M. Bezem;T. Coquand
通讯作者：
T. Coquand
经典可实现性和通过否定翻译的存在证人提取
DOI：
10.2168/lmcs-7(2:2)2011
发表时间：
2011
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Alexandre Miquel
通讯作者：
Alexandre Miquel
经典逻辑的可实现性
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
J. Krivine
通讯作者：
J. Krivine
命名调用 lambda 演算中整数的通用存储定理
影响因子：
1.1
作者：
J. Krivine
通讯作者：
J. Krivine