Proof-nets
From LLWiki
(Difference between revisions)
(Link to a formal account of nets.) |
Lionel Vaux (Talk | contribs) m (fix wording) |
||
| 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. |
+ | 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.
