D. C. Jensen

Publication Activity (10 Years)

Years Active: 1972-1976
Publications (10 Years): 0

Publications

D. C. Jensen, Tomasz Pietrzykowski
-Order Type Theory Through Unification. Theor. Comput. Sci. 3 (2) (1976)
Tomasz Pietrzykowski, D. C. Jensen
A complete mechanization of (Ω)-order type theory. ACM Annual Conference (1) (1972)