In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
