http://140-77-166-78.cprapid.com/mediawiki/index.php?action=history&feed=atom&title=LLWiki%3AAbout 2026-04-12T05:52:51Z Revision history for this page on the wiki MediaWiki 1.19.20+dfsg-0+deb7u3 http://140-77-166-78.cprapid.com/mediawiki/index.php?title=LLWiki:About&diff=95&oldid=prev 2009-01-18T11:29:33Z

<p>email contact</p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 11:29, 18 January 2009</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>A previous project with similar goals is [http://iml.univ-mrs.fr/~lafont/linear/ Linear Logic Pages].</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>A previous project with similar goals is [http://iml.univ-mrs.fr/~lafont/linear/ Linear Logic Pages].</div></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div>For additional informations, you can [[Special:Emailuser/lladmin|contact us]].</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== References ==</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== References ==</div></td> </tr> </table>

Olivier Laurent http://140-77-166-78.cprapid.com/mediawiki/index.php?title=LLWiki:About&diff=72&oldid=prev 2009-01-11T15:45:01Z

<p>‎<span dir="auto"><span class="autocomment">References: </span> with Template:BibEntry</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 15:45, 11 January 2009</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 5:</td> <td colspan="2" class="diff-lineno">Line 5:</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== References ==</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== References ==</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>* Girard, Jean-Yves<span class="diffchange diffchange-inline">. ''</span>[http://iml.univ-mrs.fr/~girard/linear.pdf Linear logic]<span class="diffchange diffchange-inline">'', </span>Theoretical Computer Science<span class="diffchange diffchange-inline">, Volume </span>50<span class="diffchange diffchange-inline">, Issue </span>1<span class="diffchange diffchange-inline">, pp. </span>1-101<span class="diffchange diffchange-inline">, [http://dx.</span>doi<span class="diffchange diffchange-inline">.org/</span>10.1016/0304-3975(87)90045-4<span class="diffchange diffchange-inline"> doi:10.1016/0304-3975(87)90045-4], </span>1987<span class="diffchange diffchange-inline">.</span></div></td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div>* <span class="diffchange diffchange-inline">{{BibEntry|bibtype=journal|author=</span>Girard, Jean-Yves<span class="diffchange diffchange-inline">|title=</span>[http://iml.univ-mrs.fr/~girard/linear.pdf Linear logic]<span class="diffchange diffchange-inline">|journal=</span>Theoretical Computer Science<span class="diffchange diffchange-inline">|volume=</span>50<span class="diffchange diffchange-inline">|issue=</span>1<span class="diffchange diffchange-inline">|pages=</span>1-101<span class="diffchange diffchange-inline">|</span>doi<span class="diffchange diffchange-inline">=</span>10.1016/0304-3975(87)90045-4<span class="diffchange diffchange-inline">|year=</span>1987<span class="diffchange diffchange-inline">}}</span></div></td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"><div>* Lafont, Yves<span class="diffchange diffchange-inline">. ''</span>[http://iml.univ-mrs.fr/~lafont/pub/llpages.pdf Linear Logic Pages]<span class="diffchange diffchange-inline">'', </span>1999<span class="diffchange diffchange-inline">.</span></div></td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"><div>* <span class="diffchange diffchange-inline">{{BibEntry|bibtype=misc|author=</span>Lafont, Yves<span class="diffchange diffchange-inline">|title=</span>[http://iml.univ-mrs.fr/~lafont/pub/llpages.pdf Linear Logic Pages]<span class="diffchange diffchange-inline">|year=</span>1999<span class="diffchange diffchange-inline">}}</span></div></td> </tr> </table>

Olivier Laurent http://140-77-166-78.cprapid.com/mediawiki/index.php?title=LLWiki:About&diff=56&oldid=prev 2008-12-29T14:29:58Z

<p>short project description</p> <p><b>New page</b></p><div>LLWiki is a collaborative project aiming at the writing of a compendium about linear logic.<br /> <br /> A previous project with similar goals is [http://iml.univ-mrs.fr/~lafont/linear/ Linear Logic Pages].<br /> <br /> == References ==<br /> <br /> * 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.<br /> * Lafont, Yves. ''[http://iml.univ-mrs.fr/~lafont/pub/llpages.pdf Linear Logic Pages]'', 1999.</div>

Olivier Laurent