Weak theories of operations and types

TitleWeak theories of operations and types
Publication TypeConference Paper
Year of Publication2010
AuthorsStrahm, T
EditorSchindler, R
Conference NameWays of Proof Theory
Pagination441-468
PublisherOntos Verlag
URLhttp://www.iam.unibe.ch/ltgpub/2010/str10.pdf