共 50 条
- [43] ON STATIC THEORY OF 2-DIMENSIONAL TURBULENCE JOURNAL OF APPLIED MATHEMATICS AND MECHANICS-USSR, 1969, 33 (05): : 864 - &
- [46] THEORY OF 2-DIMENSIONAL WAVEGUIDE TRANSITIONS DOKLADY AKADEMII NAUK SSSR, 1977, 233 (02): : 323 - 326
- [49] 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