@dblp

Bounds for cut elimination in intuitionistic propositional logic.

. Arch. Math. Log., 31 (5): 331-353 (1992)

Links and resources

Tags