Redirecting to https://consequently.org/slides/nassli2016-pt-lpa-3-beyond-sequents.pdf