共 50 条
- [33] Rank-2 intersection and polymorphic recursion TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 146 - 161
- [39] A general rank-2 parameterization of the fundamental matrix 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1, PROCEEDINGS: COMPUTER VISION AND IMAGE ANALYSIS, 2000, : 868 - 871