News


April 13, 2010

My habilitation thesis on nested sequents is now available from arxiv.org. Comments are welcome! Also, note that the PCC submission deadline is near (May 1st).

Older News...