LLWiki is a collaborative project aiming at the writing of a compendium about linear logic.
A previous project with similar goals is Linear Logic Pages.
For additional informations, you can contact us.
- Girard, Jean-Yves. Linear logic. Theoretical Computer Science. Volume 50, Issue 1, pp. 1-101, doi:10.1016/0304-3975(87)90045-4, 1987.
- Lafont, Yves. Linear Logic Pages. 1999.