# User contributions

From LLWiki

(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)

- 10:13, 15 October 2011 (diff | hist) . . (+22) . . m Coherent semantics (→After coherent semantics: link) (current)
- 10: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.) - 12:29, 17 November 2010 (diff | hist) . . (+426) . . GoI for MELL: exponentials (definition of type !A) (current)
- 11:55, 17 November 2010 (diff | hist) . . (+47) . . m GoI for MELL: exponentials (style)
- 19:26, 5 June 2010 (diff | hist) . .
**(+2,697)** . . GoI for MELL: exponentials (The copying iso) - 11:20, 5 June 2010 (diff | hist) . . (+67) . . GoI for MELL: exponentials (→The tensor product of Hilbert spaces: presentation)
- 09:28, 25 May 2010 (diff | hist) . .
**(+1,224)** . . N GoI for MELL: exponentials (Creation of the page : generalities on Hilbert spaces tensor product) - 08:53, 25 May 2010 (diff | hist) . .
**(+815)** . . Geometry of interaction (Exponentials) - 12:58, 15 May 2010 (diff | hist) . .
**(+1,677)** . . Geometry of interaction (Summaries of sections) - 12:04, 15 May 2010 (diff | hist) . .
**(-34,024)** . . Geometry of interaction (Split the page) - 12: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) - 12: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) - 11:13, 15 May 2010 (diff | hist) . . (+32) . . m Geometry of interaction (→Execution formula, version 2: composition: correction)
- 11:07, 15 May 2010 (diff | hist) . . (-2) . . Geometry of interaction (→Weak distributivity)
- 11:03, 15 May 2010 (diff | hist) . . (-21) . . m Geometry of interaction (→The tensor rule: typo, style)
- 16:24, 14 May 2010 (diff | hist) . . (+19) . . m Geometry of interaction (→From operators to matrices: internalization/externalization: precision)
- 16:14, 14 May 2010 (diff | hist) . . (+245) . . m Geometry of interaction (→Operators, partial isometries: elementary props of partial isometries)
- 07:25, 30 April 2010 (diff | hist) . . (+265) . . m Geometry of interaction (typos, style)
- 08:45, 29 April 2010 (diff | hist) . .
**(+639)** . . Geometry of interaction (corrections, precisions) - 07:56, 29 April 2010 (diff | hist) . . (-1) . . m Template:Remark (try to correct a bug in display) (current)

(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)