共 42 条
[2]
[Anonymous], 1963, T AM MATH SOC, V108, P106
[3]
[Anonymous], HDB LOGIC COMPUTER S
[4]
[Anonymous], 2005, WE WILL SHOW THEM ES
[5]
Ariola Z. M., 1996, Fundamenta Informaticae, V26, P207
[7]
ARIOLA ZM, 1994, IEEE S LOG, P416, DOI 10.1109/LICS.1994.316066
[8]
BARENDREGT H, 1974, Z MATH LOGIK, V20, P289, DOI 10.1002/malq.19740201902
[9]
Barendregt H. P., 1984, LAMBDA CALCULUS ITS
[10]
BARENDREGT HP, 1999, J FUNCT PROGRAM, V9, P565