LLWiki:About
From LLWiki
(Difference between revisions)
(short project description) |
Revision as of 16:29, 29 December 2008
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.
