Talk:System L
From LLWiki
(Difference between revisions)
(System L vs Polarized linear logic) |
Latest revision as of 21:52, 22 April 2012
[edit] 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)
