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


This button aims at protecting mailing lists archives against Spam Harvester.
§