Proof-nets
From LLWiki
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.
Views
Personal tools
- This page was last modified on 25 June 2013, at 15:41.
- This page has been accessed 14,737 times.
- Content is available under these terms of use unless otherwise noted.
- Privacy policy
- About LLWiki
- Disclaimers