共 16 条
[1]
BLOOM SL, 1993, EATCS MONOGRAPHS THE
[3]
CHEE SM, 1994, J PURE APPL ALGEBRA, V93, P57
[6]
Girard J., 1989, STUDIES LOGIC FDN MA, V127, P221
[10]
Joyal A., 1991, LECT NOTES MATH, V1488, P411