SOME EXAMPLES OF NONEXISTENT COMBINATORS

被引：3
|
作者：
STATMAN, R
机构：
[1] INRIA ROCQUENCOURT,LE CHESNAY,FRANCE
[2] CATHOLIC UNIV NIJMEGEN,NIJMEGEN,NETHERLANDS
来源：
THEORETICAL COMPUTER SCIENCE | 1993年 / 121卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(93)90096-C
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider certain radical versions of familiar combinators. Some are shown not to exist while others present open problems.
引用
收藏
页码：441 / 448
页数：8
相关论文
共 50 条
  • [1] Some additions to the theory of combinators
    Curry, HB
    [J]. AMERICAN JOURNAL OF MATHEMATICS, 1932, 54 : 551 - 558
  • [2] Some results on combinators in the system TRC
    Jech, T
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (04) : 1811 - 1819
  • [3] The Nonexistent
    Voltolini, Alberto
    [J]. DIALECTICA, 2015, 69 (04) : 611 - 620
  • [4] The Nonexistent
    Abell, Catharine
    [J]. BRITISH JOURNAL OF AESTHETICS, 2016, 56 (02): : 209 - 212
  • [5] The Nonexistent
    Goodman, Jeffrey
    [J]. JOURNAL OF AESTHETICS AND ART CRITICISM, 2015, 73 (02): : 222 - 225
  • [6] The Nonexistent
    Kroon, Frederick
    [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2015, 93 (01) : 185 - 187
  • [7] The Nonexistent
    Reicher, Maria E.
    [J]. PHILOSOPHICAL QUARTERLY, 2015, 65 (261): : 870 - 872
  • [8] SOME PROBLEMS AND INADEQUACIES IN THE VANDERPOEL-SCHAAP-VANDERMEY THEORY OF COMBINATORS
    BUNDER, MW
    [J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1984, 87 (04): : 373 - 377
  • [9] Storage Combinators
    Weiher, Marcel
    Hirschfeld, Robert
    [J]. PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!' 19), 2019, : 111 - 127
  • [10] CATEGORICAL COMBINATORS
    CURIEN, PL
    [J]. INFORMATION AND CONTROL, 1986, 69 (1-3): : 188 - 254
12345