Deep Inference

Deep Inference
All Links

Share this:

Details of Deep Inference

About Deep Inference
Deep Inference- The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.
Foundations