共 50 条
[32]
A 2-DIMENSIONAL QUANTIFICATION OF SOIL PED SHAPE
[J].
JOURNAL OF SOIL SCIENCE,
1993, 44 (02)
:209-219
[38]
ON STATIC THEORY OF 2-DIMENSIONAL TURBULENCE
[J].
JOURNAL OF APPLIED MATHEMATICS AND MECHANICS-USSR,
1969, 33 (05)
:864-&
[40]
Canonicity for 2-Dimensional Type Theory
[J].
POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES,
2012,
:337-348