共 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]
PAIRING WITHOUT CONVENTIONAL RESTRAINTS
[J].
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1974, 20 (04)
:289-306
[9]
Barendregt H. P., 1984, LAMBDA CALCULUS ITS
[10]
BARENDREGT HP, 1999, J FUNCT PROGRAM, V9, P565