Talk:System L
From LLWiki
Revision as of 20:52, 22 April 2012 by Olivier Laurent (Talk | contribs)
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)
