Fundamental principles on combinatory logic. Part I

被引:61
作者
Curry, HB
机构
关键词
D O I
10.2307/2370619
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:509 / 536
页数:28
相关论文
共 2 条
[1]  
1924, MATH ANN, V92, P305
[2]  
1929, AM J MATH, V51, P363