A Sequent Calculus for Generalized Inductive Definitions.

Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker

Browse the full LPNMR paper archive.