共 42 条
[1]
Ajdukiewicz K., 1935, Studia philosophica, V1, P1
[2]
[Anonymous], 1972, Toposes, Algebraic Geometry and Logic
[3]
Asperti Andrea, 1991, Categories, Types, and Structures
[4]
Bach E, 1988, CATEGORIAL GRAMMARS, P17
[6]
BARENDREGT HP, 1980, LAMBDA CALCULUS ITS
[7]
BISKRI I, 1995, ACT C RANLP BULG
[8]
CURRY BH, 1972, COMBINATORY LOGIC, V2