D. C. Jensen

Mechanizing omega-Order Type Theory Through Unification

Tomasz Pietrzykowski, D. C. Jensen, T. Pietrzykowski, 1976, Theor. Comput. Sci..

Computation of the main geomagnetic field from spherical harmonic expansions

D. C. Jensen, J. Cain, W. E. Daniels, 1964 .

ON THE AGGREGATION OF ICE CRYSTALS TO FORM SNOW

D. C. Jensen, C. Hosler, L. Goldshlak, 1957 .

An evaluation of the main geomagnetic field, 1940–1962

D. C. Jensen, J. Cain, Joseph C. Cain, 1965 .

TABLES OF ADIABATIC INVARIANTS FOR THE GEOMAGNETIC FIELD 1944.0

D. C. Jensen, R. Murray, J. Welch, 1960 .