共 26 条
[1]
Abel A., 2001, ELECT NOTES THEORETI, V58
[2]
CHENEY J, 2004, IN PRESS P 31 INT C
[3]
De Bruijn N. G., 1972, INDAG MATH, V34, P381, DOI DOI 10.1016/1385-7258(72)90034-0
[4]
Despeyroux J., 1995, Typed Lambda Calculi and Applications. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95. Proceedings, P124, DOI 10.1007/BFb0014049
[5]
FIORE MP, 1999, LICS, V1999, P193
[7]
GABBAY MJ, 2003, 35 YEARS AUTOMATH
[8]
GABBAY MJ, 2004, IN PRESS P 19 ANN IE
[9]
HAMANA M, 2001, LECT NOTES COMPUTER, V2215, P243
[10]
Hofmann M., 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), P204, DOI 10.1109/LICS.1999.782616