共 50 条
- [41] Rank-2 intersection and polymorphic recursion [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 146 - 161
- [44] RANK-2 FIBERS ON P2 AND THEIR SECTIONS [J]. BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1980, 108 (04): : 457 - 473
- [46] ON THE SUBGROUP STRUCTURE OF THE SYMPLECTIC GROUP IN CHARACTERISTIC-2 [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1991, 43 : 91 - 95