On two forms of bureaucracy in derivations

TitleOn two forms of bureaucracy in derivations
Publication TypeConference Paper
Year of Publication2005
AuthorsBrünnler, K, Lengrand, S
EditorBruscoli, P, Lamarche, F, Stewart, C
Conference NameProceedings of Structures and Deduction
Pagination65-74
PublisherTechnische Universität Dresden
URLhttp://www.iam.unibe.ch/ltgpub/2005/bl05.pdf