The Calculus of Structures

alessio.guglielmi.name

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

Rate This Site

More in Proof Theory Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285062" title="The Calculus of Structures"><img src="https://e-sygoing.link/badge.php?lid=5285062" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

The Calculus of Structures

Rate This Site

Submit Your Site

Related Links