共 12 条
[1]
Curry H.B., 1958, COMBINATORY LOGIC
[2]
GENERALIZATION OF LAGRANGES EXPANSION AND ENUMERATION OF TREES
[J].
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY-MATHEMATICAL AND PHYSICAL SCIENCES,
1965, 61
:499-&
[3]
HOLT AW, 1963, THESIS U PENNSYLVANI
[4]
Iverson K. E., 1962, PROGRAMMING LANGUAGE
[5]
LANDIN PJ, 1965, ACM, V8, P158
[6]
LANDIN PJ, 1965, ACM, V8, P89
[7]
Lucas P., 1969, ANNU REV AUTOMAT PR, V6, P105, DOI [10.1016/0066-4138(69)90005-6, DOI 10.1016/0066-4138(69)90005-6]
[8]
McCarthy J, 1963, COMPUTER PROGRAMMING, P33, DOI DOI 10.1016/S0049-237X(08)72018-4
[9]
MULLIN R, 1970, GRAPH THEORY ITS APP, P167
[10]
VANWIJNGAARDEN A, 1969, NUMER MATH, V14, P79, DOI DOI 10.1007/BF02163002