On the Proof Theory of Applicative Theories

TitleOn the Proof Theory of Applicative Theories
Publication TypePhD Thesis
Year of Publication1996
AuthorsStrahm, T
URLhttp://www.iam.unibe.ch/ltgpub/1996/str96a.ps