A transfinite type theory with type variables
A transfinite type theory with type variables
复制标题
具有类型变量的超限类型理论
DOI：
10.1016/s0049-237x(08)x7057-0
复制
发表时间：
1965
影响因子：
0.6
通讯作者：
P. Andrews
中科院分区：
文献类型：
--
作者：
P. Andrews
