tag:www.nabble.com,2006:forum-2582 2008-09-07T17:55:29Z This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.