On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the -Calculus.

Christoph Sprenger, Mads Dam

Browse the full FOSSACS paper archive.