Talk:System L

From LLWiki
Revision as of 21:52, 22 April 2012 by Olivier Laurent (Talk | contribs)

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

System L vs Polarized linear logic

The relation between system L and Polarized linear logic should be clarified and at most one entry in the Main Page should be enough. Maybe a link on the main page to an article on focalization and/or polarization and then from this article to polarized linear logic, system L, ...

Olivier Laurent 19:52, 22 April 2012 (UTC)

Personal tools