Glen Helman

An interpretation of classical proofs

Glen Helman, 1983, J. Philos. Log..

Completeness of the normal typed fragment of the λ-system U

Glen Helman, 1977, J. Philos. Log..

On the equivalence of proofs involving identity

Glen Helman, 1987, Notre Dame J. Formal Log..