Cut Elimination with ξ-Functionality

Sorry, there's nothing here.

4 Figures and Tables

Cite this paper

@inproceedings{Benzmller2007CutEW, title={Cut Elimination with ξ-Functionality}, author={Christoph Benzm{\"{u}ller and Chad E. Brown and Michael Kohlhase}, year={2007} }