LLWiki:About
From LLWiki
Revision as of 16:29, 29 December 2008 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.
