Bounds for cut elimination in intuitionistic propositional logic (0)

by Jörg Hudelmaier
Venue:University of Tübingen