Proof-nets
From LLWiki
Revision as of 16:24, 31 August 2012 by Olivier Laurent (Talk | contribs)
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.
Views
Personal tools
- Content is available under these terms of use unless otherwise noted.
- Privacy policy
- About LLWiki
- Disclaimers