|
||||
Name: The Calculus of Structures Description: The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference. Category: Proof Theory Url: http://alessio.guglielmi.name/res/cos/index.html Date: 18-02-2001 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
