New pages
From LLWiki
- 22:01, 28 October 2013 Regular formula (hist) [1,540 bytes] Olivier Laurent (Talk | contribs) (Basic properties of regular formulas)
- 21:31, 28 October 2013 Co-regular formula (hist) [29 bytes] Olivier Laurent (Talk | contribs) (redirection to regular formula)
- 21:24, 28 October 2013 Additive cut rule (hist) [739 bytes] Olivier Laurent (Talk | contribs) (Non admissibility)
- 18:50, 28 October 2013 Negative formula (hist) [2,296 bytes] Olivier Laurent (Talk | contribs) (Dual version of positive formula)
- 15:43, 28 October 2013 List of equivalences (hist) [2,606 bytes] Olivier Laurent (Talk | contribs) (First list of equivalences)
- 14:59, 27 October 2013 Mix (hist) [2,766 bytes] Olivier Laurent (Talk | contribs) (Definition and main properties of the mix rules)
- 20:48, 25 April 2013 List of isomorphisms (hist) [2,483 bytes] Olivier Laurent (Talk | contribs) (First list)
- 21:19, 5 September 2012 Focalization (hist) [44 bytes] Lionel Vaux (Talk | contribs) (Created page with "#SEDIRECT Reversibility and focalization")
- 22:10, 31 August 2012 Reversibility and focalization (hist) [15,790 bytes] Emmanuel Beffara (Talk | contribs) (Creation)
- 00:43, 31 August 2012 Proof-nets (hist) [138 bytes] Lionel Vaux (Talk | contribs) (Created page with "The aim of this page is to provide a common framework for describing linear logic proof nets, interaction nets, multiport interaction nets, and the likes, while factoring out mos…")
- 03:48, 22 April 2012 System L (hist) [5,477 bytes] Pierre-Marie Pédrot (Talk | contribs) (propaganda for system L)
- 19:49, 19 April 2012 Non provable formulas (hist) [427 bytes] Olivier Laurent (Talk | contribs) (First list of non provable formulas.)
- 18:42, 19 April 2012 Provable formulas (hist) [2,802 bytes] Olivier Laurent (Talk | contribs) (List of provable formulas just started)
- 17:16, 15 February 2012 A formal account of nets (hist) [11,441 bytes] Lionel Vaux (Talk | contribs) (stub)
- 23:47, 4 October 2011 Polarized linear logic (hist) [2,919 bytes] Pierre-Marie Pédrot (Talk | contribs) (cr)
- 15:10, 30 September 2011 Orthogonality relation (hist) [1,309 bytes] Pierre-Marie Pédrot (Talk | contribs) (cr)
- 12:14, 17 February 2011 Terms of use (hist) [716 bytes] Olivier Laurent (Talk | contribs) (English version of the document concerning rights and licence)
- 12:13, 17 February 2011 Conditions d'utilisation (hist) [2,133 bytes] Olivier Laurent (Talk | contribs) (Official French document concerning rights and licence)
- 12:10, 17 February 2011 Precedence of French terms (hist) [304 bytes] Olivier Laurent (Talk | contribs) (Warning about French vs English)
- 12:08, 17 February 2011 Information for contributors (hist) [893 bytes] Olivier Laurent (Talk | contribs) (Basic informations about licence)
- 19:16, 15 February 2011 Editorial board (hist) [646 bytes] Olivier Laurent (Talk | contribs) (Composition and rules for the editorial board)
- 09:28, 25 May 2010 GoI for MELL: exponentials (hist) [4,461 bytes] Laurent Regnier (Talk | contribs) (Creation of the page : generalities on Hilbert spaces tensor product)
- 12:04, 15 May 2010 GoI for MELL: the *-autonomous structure (hist) [20,173 bytes] Laurent Regnier (Talk | contribs) (New page: Recall that when <math>u</math> and <math>v</math> are <math>p</math>-isometries we say they are dual when <math>uv</math> is nilpotent, and that <math>\bot</math> denotes the set of nilpo...)
- 12:03, 15 May 2010 GoI for MELL: partial isometries (hist) [13,903 bytes] Laurent Regnier (Talk | contribs) (New page: = Operators, partial isometries = We will denote by <math>H</math> the Hilbert space <math>\ell^2(\mathbb{N})</math> of sequences <math>(x_n)_{n\in\mathbb{N}}</math> of complex numbers su...)
