Dominic Hughes - Selected Papers

Understanding Sequentialization [pdf - ps - ps.gz - bibtex]
Technical report, 2001.

This paper presents a syntactic account of MLL proof net correctness. This yields an extremely succinct proof of the sequentialization theorem, and elicits an intuitive proof-theoretic understanding of correctness.