http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=Talk%3ASystem_LTalk:System L - Revision history2026-04-12T09:22:16ZRevision history for this page on the wikiMediaWiki 1.19.20+dfsg-0+deb7u3http://140-77-166-78.cprapid.com/mediawiki/index.php?title=Talk:System_L&diff=552&oldid=prevOlivier Laurent: System L vs Polarized linear logic2012-04-22T19:52:54Z<p>System L vs Polarized linear logic</p>
<p><b>New page</b></p><div>== System L vs Polarized linear logic ==<br />
<br />
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, ...<br />
<br />
[[User:Olivier Laurent|Olivier Laurent]] 19:52, 22 April 2012 (UTC)</div>Olivier Laurent