Some additions to the theory of combinators

被引：8

|

作者：

Curry, HB ^{[1
]}

机构：

[1] Univ Chicago, Chicago, IL USA

来源：

AMERICAN JOURNAL OF MATHEMATICS | 1932年 / 54卷

关键词：

D O I：

10.2307/2370900

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：551 / 558

页数：8

相关论文

共 50 条

[1] SOME PROBLEMS AND INADEQUACIES IN THE VANDERPOEL-SCHAAP-VANDERMEY THEORY OF COMBINATORS
BUNDER, MW
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1984, 87 (04): : 373 - 377
[2] SOME EXAMPLES OF NONEXISTENT COMBINATORS
STATMAN, R
THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : 441 - 448
[3] COMBINATORS AND AXIOMATIC RECURSION THEORY
MITSCHKE, G
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 461 - 461
[4] Some results on combinators in the system TRC
Jech, T
JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (04) : 1811 - 1819
[5] FUNDAMENTALS OF THE THEORY OF ELASTICITY - SOME ADDITIONS AND DELETIONS
WILLMOT, JG
EXPERIMENTAL MECHANICS, 1979, 19 (05) : N37 - N37
[6] The Singularity of the Cogito: Some Additions to Hintikka's Theory
Bunta, Ales
FILOZOFSKI VESTNIK, 2018, 39 (01) : 67 - +
[7] NEW ARITHMETICAL OPERATORS IN THE THEORY OF COMBINATORS .1.
VANDERPOEL, WL
SCHAAP, CE
VANDERMEY, G
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1980, 83 (03): : 271 - 286
[8] SOME ADDITIONS TO REACTOR NOISE THEORY WHICH INCLUDE DELAYED NEUTRONS
WANG, HK
RUBY, L
NUCLEAR SCIENCE AND ENGINEERING, 1975, 57 (01) : 86 - 90
[9] SOME ADDITIONS TO THE THEORY OF STABILITY OF SYSTEMS IN THE 1ST APPROXIMATION
SLYUSARCHUK, VE
MATHEMATICAL NOTES, 1983, 33 (3-4) : 307 - 311
[10] SOME ADDITIONS TO THE THEORY OF RADIO-FREQUENCY HIGH-VOLTAGE SUPPLIES
MATHERS, GWC
PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1949, 37 (02): : 199 - 206

← 1 2 3 4 5 →