Proof-nets

From LLWiki
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