"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman