Proof-nets

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.

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Proof-nets&oldid=587"
Personal tools