Binary refinement implies discrete exponentiation
Binary refinement implies discrete exponentiation
复制标题
二进制细化意味着离散求幂
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Peter Aczel
中科院分区：
文献类型：
--
作者：
櫻井;草刈;西田;酒井;坂部;Peter Aczel
登录
查看更多内容
构造性集合论的类型论解释：归纳定义
DOI：
10.1016/s0049-237x(09)70683-4
发表时间：
1986
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
P. Aczel
通讯作者：
P. Aczel
数学作为一种数字语言
DOI：
10.1016/s0049-237x(08)70740-7
发表时间：
1970
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
E. Bishop
通讯作者：
E. Bishop
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
B. Banaschewski;P. Schuster
通讯作者：
P. Schuster
DOI：
10.1016/s0049-237x(09)70120-x
发表时间：
1982
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
P. Aczel
通讯作者：
P. Aczel