Deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.


§