Main Page
From LLWiki
(Difference between revisions)
m (→Contents: remove implicit complexity) |
(→Getting started) |
||
| Line 26: | Line 26: | ||
You can use the [[sandbox]] for tests. |
You can use the [[sandbox]] for tests. |
||
| + | |||
| + | [http://perso.ens-lyon.fr/olivier.laurent/llwiki.html Technical information] about this wiki. |
||
<!-- |
<!-- |
||
Revision as of 10:19, 24 March 2009
Contents
- An introduction to linear logic
- Syntax
- Sequent calculus
- Intuitionistic linear logic
- Fragments
- Proof-nets
- Translations of classical and intuitionistic logics
- Semantics
- Light linear logics
Getting started
Please read the recommendations before edition in this wiki.
Consult the User's Guide for information on using the wiki software.
Available LaTeX macros are listed on the LLWiki LaTeX Style page.
You can use the sandbox for tests.
Technical information about this wiki.
