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