Publication details

Saarland University Computer Science

Cut Elimination with xi-Functionality

Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008


Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009