Some additions to the theory of combinators

被引：8

作者：

Curry, HB ^{[1
]}

机构：

[1] Univ Chicago, Chicago, IL USA

来源：

关键词：

D O I：

10.2307/2370900

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：551 / 558

页数：8

共 50 条

[21] Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J. Stuckey
Constraints, 2013, 18 : 269 - 305
[22] Constraint combinators
不详
PROGRAMMING CONSTRAINT SERVICES, 2002, 2302 : 105 - 116
[23] Search combinators
Schrijvers, Tom
Tack, Guido
Wuille, Pieter
Samulowitz, Horst
Stuckey, Peter J.
CONSTRAINTS, 2013, 18 (02) : 269 - 305
[24] STRICT COMBINATORS
MEIRA, SRD
INFORMATION PROCESSING LETTERS, 1987, 24 (04) : 255 - 258
[25] Spaces for combinators
不详
PROGRAMMING CONSTRAINT SERVICES, 2002, 2302 : 93 - 104
[26] Interaction combinators
Lafont, Y
INFORMATION AND COMPUTATION, 1997, 137 (01) : 69 - 101
[27] Diagram Combinators in MMT
Rabe, Florian
Sharoda, Yasmine
INTELLIGENT COMPUTER MATHEMATICS, CICM 2019, 2019, 11617 : 211 - 226
[28] JOHNSON AS SUBSCRIBER - SOME ADDITIONS
LONSDALE, R
NOTES AND QUERIES, 1980, 27 (05) : 410 - 412
[29] SOME ADDITIONS TO THE DEVONSHIRE DIARY
SCHWEIZER, K
NOTES AND QUERIES, 1986, 33 (01) : 64 - 67
[30] Additions to the theory of the rotation of Europa
Henrard, J
CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 2005, 93 (1-4): : 101 - 112