共 50 条
- [31] Canonicity for 2-Dimensional Type Theory POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 337 - 348
- [38] SPHERICAL ABERRATION OF 2-DIMENSIONAL ELECTROSTATIC QUADRUPOLE LENS HAVING NO ANTISYMMETRY PLANES DOKLADY AKADEMII NAUK SSSR, 1964, 154 (06): : 1321 - &
- [39] DESIGN METHOD OF 2-DIMENSIONAL RECURSIVE DIGITAL-FILTER BY USING LAGUERRE FUNCTIONS ELECTRONICS & COMMUNICATIONS IN JAPAN, 1977, 60 (06): : 9 - 16