William A. Howard

Peirce's influence on today's mathematical logic

William A. Howard, 2001, Cybern. Hum. Knowing.

The Use of Ordinals in the Constructive Foundations of Mathematics

William A. Howard, W. A. Howard, 1986 .

The formulae-as-types notion of construction

William A. Howard, W. A. Howard, 1969 .

Ordinal analysis of simple cases of bar recursion

William A. Howard, W. A. Howard, 1981, Journal of Symbolic Logic.

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

Georg Kreisel, William A. Howard, G. Kreisel, 1966, Journal of Symbolic Logic.

A system of abstract constructive ordinals

William A. Howard, W. A. Howard, 1972, Journal of Symbolic Logic.

Ordinal analysis of terms of finite type

William A. Howard, W. A. Howard, 1980, Journal of Symbolic Logic.