Proof-nets
From LLWiki
(Difference between revisions)
Lionel Vaux (Talk | contribs) (Blanked the page) |
Lionel Vaux (Talk | contribs) m (fix wording) |
||
| (One intermediate revision by one user not shown) | |||
| Line 1: | Line 1: | ||
| + | We provide [[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. |
||
Latest revision as of 15:41, 25 June 2013
We provide 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.
