Algorithmic Interpretation

Heihei!

Richard and I completed our first little attempt at interpreting deep
inference algorithmically. I talked about it in Nancy. If you're
interested, you can find the slides here:

http://kai.bruennler.googlepages.com/talks

and the paper here:

http://kai.bruennler.googlepages.com/unpublishednotes  .

Best wishes,

-Kai