Proof-nets

From LLWiki
(Difference between revisions)
Jump to: navigation, search
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.

Personal tools