Talk:Proof-nets

From LLWiki
Revision as of 17:02, 9 December 2010 by Lionel Vaux (Talk | contribs)

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

Maybe we should try and start again our discussion concerning proof nets, their definition(s), and their graphical representations on this wiki. First, I leave some open questions:

  • Is there anything new concerning this matter ?
  • Can we agree on some common ground to start these pages ?
  • Why not start from scratch and see what breaks ?

--Lionel Vaux 15:02, 9 December 2010 (UTC)

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