A Structural Proof of Cut Elimination and Its Representation in a Logical Framework (1994)

by Frank Pfenning
Citations:17 - 4 self