Proof-theoretic contributions to explicit mathematics

TitleProof-theoretic contributions to explicit mathematics
Publication TypeHabilitation Thesis
Year of Publication2001
AuthorsStrahm, T
URLhttp://www.iam.unibe.ch/ltgpub/2001/str01.pdf