An interpretation of system F through bar recursion
An interpretation of system F through bar recursion
复制标题
通过条形递归解释系统 F
DOI：
10.1109/lics.2017.8005066
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Blot V
中科院分区：
文献类型：
--
作者：
Blot V
登录
查看更多内容
DOI：
--
发表时间：
1994
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
S. Berardi;M. Bezem;T. Coquand
通讯作者：
T. Coquand
DOI：
--
发表时间：
1975
期刊：
影响因子：
--
作者：
W. Tait
通讯作者：
W. Tait
改进的条形递归和经典相关选择
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Ulrich Berger;Paulo Oliva
通讯作者：
Paulo Oliva
经典可实现性中的条形递归：依赖选择和连续统假设
DOI：
--
发表时间：
2015
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
J. Krivine
通讯作者：
J. Krivine
DOI：
10.1017/cbo9780511983504.002
发表时间：
1998-08
期刊：
Acta Mathematica Sinica, English Series
影响因子：
--
作者：
R. Amadio;P. Curien
通讯作者：
R. Amadio;P. Curien