LLWiki:About
From LLWiki
(Difference between revisions)
(→References: with Template:BibEntry) |
(email contact) |
||
| Line 2: | Line 2: | ||
A previous project with similar goals is [http://iml.univ-mrs.fr/~lafont/linear/ Linear Logic Pages]. |
A previous project with similar goals is [http://iml.univ-mrs.fr/~lafont/linear/ Linear Logic Pages]. |
||
| + | |||
| + | For additional informations, you can [[Special:Emailuser/lladmin|contact us]]. |
||
== References == |
== References == |
||
Latest revision as of 12:29, 18 January 2009
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.
[edit] 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.
