User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (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)
- 22:28, 28 April 2010 (diff | hist) . . (+6,077) . . Geometry of interaction (Execution formula : false assertion corrected)
- 11:37, 26 April 2010 (diff | hist) . . (+333) . . Geometry of interaction (typos, style)
- 17:36, 23 April 2010 (diff | hist) . . (+1,639) . . Geometry of interaction (redefinition of the proof space (begin))
- 07:22, 21 April 2010 (diff | hist) . . (+17) . . Geometry of interaction (→The execution formula, version 1: application: false assertion, has to find a solution)
- 17:18, 20 April 2010 (diff | hist) . . (+584) . . Geometry of interaction (→Execution formula, version 2: composition: compostion with identity)
- 16:54, 20 April 2010 (diff | hist) . . (+2,117) . . Geometry of interaction (Composition)
- 11:31, 20 April 2010 (diff | hist) . . (+951) . . Geometry of interaction (Contraposition of the linear arrow)
- 10:15, 20 April 2010 (diff | hist) . . (+89) . . Geometry of interaction (→The tensor rule: warning on notation)
- 10: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)
- 09:50, 20 April 2010 (diff | hist) . . (+36) . . m Geometry of interaction (→The execution formula, version 1: application: precision)
- 18:01, 18 April 2010 (diff | hist) . . (+3,875) . . Geometry of interaction (the star-autonomous structure)
- 12:11, 18 April 2010 (diff | hist) . . (+1,628) . . Geometry of interaction (Execution formula, continued)
- 23:18, 13 April 2010 (diff | hist) . . (+10) . . m Geometry of interaction (style)
- 19:17, 13 April 2010 (diff | hist) . . (-42) . . m Geometry of interaction (→Interpreting the cut rule: the execution formula: style)
- 19:12, 13 April 2010 (diff | hist) . . (+1,597) . . Geometry of interaction (execution formula (part 1))
- 17:59, 13 April 2010 (diff | hist) . . (+1,645) . . Geometry of interaction (interpretation of the tensor rule)
- 22:26, 8 April 2010 (diff | hist) . . (+139) . . Geometry of interaction (presentation details)
- 11:41, 8 April 2010 (diff | hist) . . (+881) . . Geometry of interaction (complements on partial isometries)
- 15:48, 5 April 2010 (diff | hist) . . (-3) . . m Geometry of interaction (style)
- 09: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)
- 13:43, 29 March 2010 (diff | hist) . . (+225) . . Geometry of interaction (→Interpreting the multiplicative connectives)
- 15:36, 28 March 2010 (diff | hist) . . (+1,556) . . Geometry of interaction (→Interpreting the tensor: genralities on types, iso H+H = H)
- 14:32, 28 March 2010 (diff | hist) . . (+167) . . Geometry of interaction (→Preliminaries: Notation B(H))
- 14:10, 28 March 2010 (diff | hist) . . (+1,768) . . Geometry of interaction (→The Geometry of Interaction as operators: generalities on operators)
- 11:05, 28 March 2010 (diff | hist) . . (+2,709) . . Geometry of interaction
- 00:07, 28 March 2010 (diff | hist) . . (+1,543) . . Geometry of interaction (→The Geometry of Interaction as operators)
- 21:03, 27 March 2010 (diff | hist) . . (+4,258) . . Geometry of interaction (Started the description of GoI as operators on Hilbert space)
- 12:38, 16 March 2010 (diff | hist) . . (-6) . . m Geometry of interaction (typos, style)
- 12:34, 16 March 2010 (diff | hist) . . (+548) . . Geometry of interaction (reprise de l'intro précisant la différence GoI/sémantique dénotationnelle)
- 14: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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
