User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 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)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)