User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 16:43, 25 June 2013 (diff | hist) . . (0) . . A formal account of nets (→The short story) (current)
- 16:41, 25 June 2013 (diff | hist) . . (-11) . . m Proof-nets (fix wording) (current)
- 15:54, 6 September 2012 (diff | hist) . . (+1) . . Semantics
- 13:56, 6 September 2012 (diff | hist) . . (+451) . . Notations (current)
- 13:36, 6 September 2012 (diff | hist) . . (+88) . . Notations (→Miscellaneous)
- 11:49, 6 September 2012 (diff | hist) . . (+698) . . A formal account of nets (a draft definition of boxes)
- 10:50, 6 September 2012 (diff | hist) . . (+256) . . A formal account of nets (fixed missing items (bug in mouliwiki))
- 10:50, 6 September 2012 (diff | hist) . . (+693) . . A formal account of nets (various fixes and complements on connections)
- 10:40, 6 September 2012 (diff | hist) . . (+33) . . Sandbox
- 22:20, 5 September 2012 (diff | hist) . . (0) . . Focalization (typo in redirect) (current)
- 22:19, 5 September 2012 (diff | hist) . . (+44) . . N Focalization (Created page with "#SEDIRECT Reversibility and focalization")
- 09:05, 1 September 2012 (diff | hist) . . (-316) . . A formal account of nets (→Conventions: … were useless)
- 13:18, 31 August 2012 (diff | hist) . . (+9,239) . . A formal account of nets
- 13:17, 31 August 2012 (diff | hist) . . (-10,143) . . Proof-nets (Blanked the page)
- 01:43, 31 August 2012 (diff | hist) . . (+10,143) . . N Proof-nets (Created page with "The aim of this page is to provide a common framework for describing linear logic proof nets, interaction nets, multiport interaction nets, and the likes, while factoring out mos…")
- 18:16, 15 February 2012 (diff | hist) . . (+871) . . N A formal account of nets (stub)
- 15:46, 17 January 2011 (diff | hist) . . (-2) . . Talk:Proof-nets (→Complément de Michele sur ce qu'on voudrait pouvoir traiter) (current)
- 15:46, 17 January 2011 (diff | hist) . . (+1) . . Talk:Proof-nets (→Complément de Michele sur ce qu'on voudrait pouvoir traiter =)
- 15:45, 17 January 2011 (diff | hist) . . (+13,749) . . Talk:Proof-nets
- 17:03, 9 December 2010 (diff | hist) . . (+4) . . Main Page (→Contents: Libérez les réseaux !)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)