# User contributions

From LLWiki

- 11:13, 15 October 2011 (diff | hist) . . (+22) . . m Coherent semantics (→After coherent semantics: link) (current)
- 11:00, 15 October 2011 (diff | hist) . .
**(+812)** . . Coherent semantics (→The failure of coherent semantics: change the title, the term failure seems unappropriate; reformulated the intro accordingly.) - 13:29, 17 November 2010 (diff | hist) . . (+426) . . GoI for MELL: exponentials (definition of type !A) (current)
- 12:55, 17 November 2010 (diff | hist) . . (+47) . . m GoI for MELL: exponentials (style)
- 20:26, 5 June 2010 (diff | hist) . .
**(+2,697)** . . GoI for MELL: exponentials (The copying iso) - 12:20, 5 June 2010 (diff | hist) . . (+67) . . GoI for MELL: exponentials (→The tensor product of Hilbert spaces: presentation)
- 10:28, 25 May 2010 (diff | hist) . .
**(+1,224)** . . N GoI for MELL: exponentials (Creation of the page : generalities on Hilbert spaces tensor product) - 09:53, 25 May 2010 (diff | hist) . .
**(+815)** . . Geometry of interaction (Exponentials) - 13:58, 15 May 2010 (diff | hist) . .
**(+1,677)** . . Geometry of interaction (Summaries of sections) - 13:04, 15 May 2010 (diff | hist) . .
**(-34,024)** . . Geometry of interaction (Split the page) - 13:04, 15 May 2010 (diff | hist) . .
**(+20,173)** . . N GoI for MELL: the *-autonomous structure (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...) (current) - 13:03, 15 May 2010 (diff | hist) . .
**(+13,903)** . . N GoI for MELL: partial isometries (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...) (current) - 12:13, 15 May 2010 (diff | hist) . . (+32) . . m Geometry of interaction (→Execution formula, version 2: composition: correction)
- 12:07, 15 May 2010 (diff | hist) . . (-2) . . Geometry of interaction (→Weak distributivity)
- 12:03, 15 May 2010 (diff | hist) . . (-21) . . m Geometry of interaction (→The tensor rule: typo, style)
- 17:24, 14 May 2010 (diff | hist) . . (+19) . . m Geometry of interaction (→From operators to matrices: internalization/externalization: precision)
- 17:14, 14 May 2010 (diff | hist) . . (+245) . . m Geometry of interaction (→Operators, partial isometries: elementary props of partial isometries)
- 08:25, 30 April 2010 (diff | hist) . . (+265) . . m Geometry of interaction (typos, style)
- 09:45, 29 April 2010 (diff | hist) . .
**(+639)** . . Geometry of interaction (corrections, precisions) - 08:56, 29 April 2010 (diff | hist) . . (-1) . . m Template:Remark (try to correct a bug in display) (current)
- 23:28, 28 April 2010 (diff | hist) . .
**(+6,077)** . . Geometry of interaction (Execution formula : false assertion corrected) - 12:37, 26 April 2010 (diff | hist) . . (+333) . . Geometry of interaction (typos, style)
- 18:36, 23 April 2010 (diff | hist) . .
**(+1,639)** . . Geometry of interaction (redefinition of the proof space (begin)) - 08:22, 21 April 2010 (diff | hist) . . (+17) . . Geometry of interaction (→The execution formula, version 1: application: false assertion, has to find a solution)
- 18:18, 20 April 2010 (diff | hist) . .
**(+584)** . . Geometry of interaction (→Execution formula, version 2: composition: compostion with identity) - 17:54, 20 April 2010 (diff | hist) . .
**(+2,117)** . . Geometry of interaction (Composition) - 12:31, 20 April 2010 (diff | hist) . .
**(+951)** . . Geometry of interaction (Contraposition of the linear arrow) - 11:15, 20 April 2010 (diff | hist) . . (+89) . . Geometry of interaction (→The tensor rule: warning on notation)
- 11:06, 20 April 2010 (diff | hist) . . (+49) . . m Geometry of interaction (→The Geometry of Interaction as operators: remark on types : 0 belongs to any type)
- 10:50, 20 April 2010 (diff | hist) . . (+36) . . m Geometry of interaction (→The execution formula, version 1: application: precision)
- 19:01, 18 April 2010 (diff | hist) . .
**(+3,875)** . . Geometry of interaction (the star-autonomous structure) - 13:11, 18 April 2010 (diff | hist) . .
**(+1,628)** . . Geometry of interaction (Execution formula, continued) - 00:18, 14 April 2010 (diff | hist) . . (+10) . . m Geometry of interaction (style)
- 20:17, 13 April 2010 (diff | hist) . . (-42) . . m Geometry of interaction (→Interpreting the cut rule: the execution formula: style)
- 20:12, 13 April 2010 (diff | hist) . .
**(+1,597)** . . Geometry of interaction (execution formula (part 1)) - 18:59, 13 April 2010 (diff | hist) . .
**(+1,645)** . . Geometry of interaction (interpretation of the tensor rule) - 23:26, 8 April 2010 (diff | hist) . . (+139) . . Geometry of interaction (presentation details)
- 12:41, 8 April 2010 (diff | hist) . .
**(+881)** . . Geometry of interaction (complements on partial isometries) - 16:48, 5 April 2010 (diff | hist) . . (-3) . . m Geometry of interaction (style)
- 10:12, 31 March 2010 (diff | hist) . .
**(+1,766)** . . Geometry of interaction (→The Geometry of Interaction as operators: notation \bot for the set of nilpotent operators, definition of the identity) - 14:43, 29 March 2010 (diff | hist) . . (+225) . . Geometry of interaction (→Interpreting the multiplicative connectives)
- 16:36, 28 March 2010 (diff | hist) . .
**(+1,556)** . . Geometry of interaction (→Interpreting the tensor: genralities on types, iso H+H = H) - 15:32, 28 March 2010 (diff | hist) . . (+167) . . Geometry of interaction (→Preliminaries: Notation B(H))
- 15:10, 28 March 2010 (diff | hist) . .
**(+1,768)** . . Geometry of interaction (→The Geometry of Interaction as operators: generalities on operators) - 12:05, 28 March 2010 (diff | hist) . .
**(+2,709)** . . Geometry of interaction - 01:07, 28 March 2010 (diff | hist) . .
**(+1,543)** . . Geometry of interaction (→The Geometry of Interaction as operators) - 22:03, 27 March 2010 (diff | hist) . .
**(+4,258)** . . Geometry of interaction (Started the description of GoI as operators on Hilbert space) - 13:38, 16 March 2010 (diff | hist) . . (-6) . . m Geometry of interaction (typos, style)
- 13:34, 16 March 2010 (diff | hist) . .
**(+548)** . . Geometry of interaction (reprise de l'intro précisant la différence GoI/sémantique dénotationnelle) - 15:59, 2 April 2009 (diff | hist) . . (+172) . . N User:Laurent Regnier (New page: [http://iml.univ-mrs.fr/ Institut de Mathématiques de Luminy] - [http://www.univmed.fr/ Université de la Méditerranée] My [http://iml.univ-mrs.fr/~regnier/ home page].) (current)
- 17:47, 28 March 2009 (diff | hist) . . (-19) . . m Geometry of interaction (style corrections)
- 00:54, 28 March 2009 (diff | hist) . .
**(+2,063)** . . N Geometry of interaction (Creation of the page, introduction) - 23:33, 25 March 2009 (diff | hist) . . (+40) . . m Coherent semantics (→Tensor product: link to the definition of monoidal symetric closed categories)
- 11:48, 17 March 2009 (diff | hist) . . (+37) . . Main Page (Reorganisation of the toc following a more chronological order)
- 13:45, 14 March 2009 (diff | hist) . . (+30) . . Coherent semantics (resectionning the mix rule)
- 13:43, 14 March 2009 (diff | hist) . .
**(+2,033)** . . Coherent semantics (The mix rule) - 12:47, 14 March 2009 (diff | hist) . . (+41) . . Intuitionistic linear logic (Link to the LL sequent calculus)
- 23:33, 12 March 2009 (diff | hist) . .
**(+3,125)** . . Coherent semantics (The Gustave function) - 01:07, 12 March 2009 (diff | hist) . .
**(+4,267)** . . Coherent semantics (started the last section: The failure of coherent semantics) - 23:26, 8 March 2009 (diff | hist) . . (+139) . . Talk:Coherent semantics (→Main properties)
- 23:21, 8 March 2009 (diff | hist) . . (+223) . . Semantics (use of latex arrays for improving the presentation)
- 22:40, 8 March 2009 (diff | hist) . .
**(+3,047)** . . N Semantics (Creation of the page from the section "Main properties" of the Coherent semantics page) - 22:32, 8 March 2009 (diff | hist) . .
**(-3,153)** . . Coherent semantics (Moved the "Main properties" section into the Semantics page) - 22:20, 8 March 2009 (diff | hist) . . (+4) . . Main Page (Added a link to the "semantics" page)
- 12:42, 6 March 2009 (diff | hist) . . (+280) . . Coherent semantics (→Linear functions: precision)
- 12:31, 6 March 2009 (diff | hist) . . (+326) . . Coherent semantics (→Main properties)
- 12:21, 6 March 2009 (diff | hist) . . (+28) . . Coherent semantics (→Cartesian product: corrections)
- 12:15, 6 March 2009 (diff | hist) . . (0) . . m Coherent semantics (→Stable functions: correction of correction)
- 12:14, 6 March 2009 (diff | hist) . . (+32) . . Coherent semantics (→Stable functions: corrections)
- 12:00, 6 March 2009 (diff | hist) . . (+364) . . Coherent semantics (→As cliqued spaces: corrections)
- 19:50, 5 March 2009 (diff | hist) . .
**(+3,023)** . . Coherent semantics (list of canonical mophisms and isomophisms) - 00:01, 5 March 2009 (diff | hist) . .
**(+4,755)** . . Coherent semantics (Dual connectives, par and why not, and neutrals) - 22:36, 4 March 2009 (diff | hist) . . (+1) . . m Coherent semantics (typo (should always preview before save))
- 22:35, 4 March 2009 (diff | hist) . . (+10) . . Coherent semantics (forgotten a \longrightarrow)
- 22:32, 4 March 2009 (diff | hist) . . (+52) . . Coherent semantics (disambiguate between the space X \imp Y and the notation F: X \longrightarrow Y)
- 22:04, 4 March 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: superfluous newline)
- 00:24, 3 March 2009 (diff | hist) . .
**(+1,114)** . . Coherent semantics (Definition of exponentials) - 23:57, 2 March 2009 (diff | hist) . . (+71) . . Main Page (Added a direct link to the LaTeX macros listing)
- 10:34, 2 March 2009 (diff | hist) . .
**(+1,511)** . . Coherent semantics (Linear negation) - 00:51, 2 March 2009 (diff | hist) . . (+378) . . Coherent semantics (Definition of tensor product)
- 00:58, 1 March 2009 (diff | hist) . . (+79) . . Coherent semantics (→Stable functions: correction of the notation for finite cliques)
- 00:51, 1 March 2009 (diff | hist) . . (+424) . . Coherent semantics (Factorisation of the common structure of the three definitions of coherent spaces)
- 00:03, 1 March 2009 (diff | hist) . . (+3) . . Coherent semantics (→The cartesian closed structure of coherent semantics: typo)
- 00:35, 20 February 2009 (diff | hist) . .
**(+4,557)** . . Coherent semantics (Added a third definition of coherent spaces: cliqued space) - 00:20, 9 February 2009 (diff | hist) . .
**(+3,093)** . . Coherent semantics (Linear functions) - 23:49, 8 February 2009 (diff | hist) . . (+175) . . Coherent semantics (→Stable functions: reformulation of the closure theorem)
- 23:06, 8 February 2009 (diff | hist) . . (+16) . . Coherent semantics (Correction of the sectionning level)
- 15:27, 8 February 2009 (diff | hist) . .
**(+2,726)** . . Coherent semantics (CS is a CCC) - 14:14, 8 February 2009 (diff | hist) . . (-444) . . Coherent semantics (making the two CE defs more consistent)
- 23:25, 7 February 2009 (diff | hist) . . (+440) . . Coherent semantics (stable functions, continuation)
- 21:30, 7 February 2009 (diff | hist) . .
**(+1,489)** . . Coherent semantics (stable functions, unfinished) - 19:51, 7 February 2009 (diff | hist) . .
**(+1,809)** . . Coherent semantics (Fonctions stables) - 19:15, 7 February 2009 (diff | hist) . .
**(+1,944)** . . Coherent semantics (définition des EC) - 17:44, 7 February 2009 (diff | hist) . . (+38) . . Notations (→Coherent spaces)
- 17:19, 7 February 2009 (diff | hist) . . (+167) . . Notations (Notations for coherent spaces)
- 17:05, 7 February 2009 (diff | hist) . .
**(+1,114)** . . N Coherent semantics (Démarrage de la page : chapeau introductif et historique)