LLWiki:About
From LLWiki
Revision as of 16:45, 11 January 2009 by Olivier Laurent (Talk | contribs)
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.
References
- 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.
