Talk:System L

From LLWiki
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