LLWiki:About

Revision as of 17:45, 11 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.

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.

@@ Line 5: / Line 5: @@
 == References ==
-* Girard, Jean-Yves. ''[http://iml.univ-mrs.fr/~girard/linear.pdf Linear logic]'', Theoretical Computer Science, Volume 50, Issue 1, pp. 1-101, [http://dx.doi.org/10.1016/0304-3975(87)90045-4 doi:10.1016/0304-3975(87)90045-4], 1987.
+* {{BibEntry|bibtype=journal|author=Girard, Jean-Yves|title=[http://iml.univ-mrs.fr/~girard/linear.pdf Linear logic]|journal=Theoretical Computer Science|volume=50|issue=1|pages=1-101|doi=10.1016/0304-3975(87)90045-4|year=1987}}
-* Lafont, Yves. ''[http://iml.univ-mrs.fr/~lafont/pub/llpages.pdf Linear Logic Pages]'', 1999.
+* {{BibEntry|bibtype=misc|author=Lafont, Yves|title=[http://iml.univ-mrs.fr/~lafont/pub/llpages.pdf Linear Logic Pages]|year=1999}}