共 22 条
[1]
[Anonymous], 1989, INTRO ALGORITHMS
[2]
BJESSE P, 1998, INT C FUNCT PROGR BA
[3]
Crole R. L., 1990, Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (90CH2897-7), P489, DOI 10.1109/LICS.1990.113771
[4]
ERKOK L, RECURSIVE DO HASKEL
[5]
ERKOK L, 2000, CSE00011 OR GRAD I S
[6]
FRIEDMAN D, UNPUB RECURSION COMP
[7]
HASEGAWA M, 1997, LECT NOTES COMPUTER, V1210
[9]
Jones M. P., 1993, YALEUDCSRR1004