H. Julian Wadleigh

Publication Activity (10 Years)

Years Active: 1970-1974
Publications (10 Years): 0

Publications

H. Julian Wadleigh
Translation of the simple theory of types into a first order language. Notre Dame J. Formal Log. 15 (3) (1974)
H. Julian Wadleigh
Expressibility in type theory. Notre Dame J. Formal Log. 11 (3) (1970)