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