共 18 条
[1]
Barendregt H. P, 1984, LAMBDA CALCULUS ITS
[2]
BERRY G, 1979, J ASS COMPUT MACH, V26, P1
[3]
CHEW P, 1981, 13 ANN ACM S THEOR C, P7
[4]
Curry H., 1958, COMBINATORY LOGIC, V1
[5]
DROSTEN K, 1983, 8301 TU BRAUNSCHW RE
[6]
EHRIG H, 1980, LECTURE NOTES COMPUT, V85
[7]
Goguen J.A., 1978, CURRENT TRENDS PROGR, VIV
[8]
HUET G, 1978, 18TH IEEE S F COMP S, P30
[9]
HUET G, 1979, IRIA359 RAPP LAB
[10]
KAPLAN S, 1984, LRI194 U PAR SUD RAP