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

RSS channel


This server provides various news via RSS. Choose parameters and pickup the RSS url



§