Proof-nets
From LLWiki
(Difference between revisions)
Lionel Vaux (Talk | contribs) (Blanked the page) |
(Link to a formal account of nets.) |
||
| Line 1: | Line 1: | ||
| + | We can have a look at [[a formal account of nets]], but it is probably not the best way to learn about proof-nets if you have never seen them before. |
||
Revision as of 17:24, 31 August 2012
We can have a look at a formal account of nets, but it is probably not the best way to learn about proof-nets if you have never seen them before.
