LLWiki:About

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(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

Personal tools