Structural Proof Theory - sidottu, Englanti, 2001