LLWiki:About
From LLWiki
(Difference between revisions)
(short project description) |
(email contact) |
||
| (One intermediate revision by one user not shown) | |||
| 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 == |
||
| − | * 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}} |
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.
