From LLWiki
Revision as of 16:41, 25 June 2013 by Lionel Vaux (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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