共 29 条
- [1] ACZEL P, 1986, TYPE THEORETIC INTER
- [2] ACZEL P, 1977, INTRO INDUCTIVE DEFI, P739
- [3] Aczel P., 1978, LOGIC C, V77, P55
- [4] COQUAND T, 1990, LNCS 417, P55
- [5] COQUAND T, 1990, MATH INVESTIGATIONS, P91
- [6] DYBJER P, 1991, P 1 WORKSH LOG FRAM, P280
- [7] FU YI, 1996, FUNDAMENTA INFORMATI, V26, P115
- [8] Fu Yu-Xi, 1998, Journal of Software, V9, P236
- [9] Structures definable in polymorphism [J]. Journal of Computer Science and Technology, 1998, 13 (6) : 579 - 587
- [10] FU YX, 1994, P INT WORKSH ADV SOF, P153