Login / Signup
D. C. Jensen
Publication Activity (10 Years)
Years Active: 1972-1976
Publications (10 Years): 0
2025
2016
</>
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)