Revisiting the Institutional Approach to Herbrand's Theorem.

Ionut Tutu, Jos Luiz Fiadeiro

Browse the full CALCO paper archive.