Computational complexity and induction for partial computable functions in type theory
Computational complexity and induction for partial computable functions in type theory
复制标题
类型论中部分可计算函数的计算复杂性和归纳
DOI：
10.1017/9781316755983.009
复制
发表时间：
2016
影响因子：
3.3
通讯作者：
C. Talcott
中科院分区：
文献类型：
--
作者：
R. Constable;Karl Crary;W. Sieg;Richard Sommer;C. Talcott
