Cut elimination in trans type theory. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik (1973)

by Kenneth A Bowen