User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:54, 6 September 2012 (diff | hist) . . (+1) . . Semantics
- 12:56, 6 September 2012 (diff | hist) . . (+451) . . Notations (current)
- 12:36, 6 September 2012 (diff | hist) . . (+88) . . Notations (→Miscellaneous)
- 10:49, 6 September 2012 (diff | hist) . . (+698) . . A formal account of nets (a draft definition of boxes)
- 09:50, 6 September 2012 (diff | hist) . . (+256) . . A formal account of nets (fixed missing items (bug in mouliwiki))
- 09:50, 6 September 2012 (diff | hist) . . (+693) . . A formal account of nets (various fixes and complements on connections)
- 09:40, 6 September 2012 (diff | hist) . . (+33) . . Sandbox
- 21:20, 5 September 2012 (diff | hist) . . (0) . . Focalization (typo in redirect) (current)
- 21:19, 5 September 2012 (diff | hist) . . (+44) . . N Focalization (Created page with "#SEDIRECT Reversibility and focalization")
- 08:05, 1 September 2012 (diff | hist) . . (-316) . . A formal account of nets (→Conventions: … were useless)
- 12:18, 31 August 2012 (diff | hist) . . (+9,239) . . A formal account of nets
- 12:17, 31 August 2012 (diff | hist) . . (-10,143) . . Proof-nets (Blanked the page)
- 00: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…")
- 17:16, 15 February 2012 (diff | hist) . . (+871) . . N A formal account of nets (stub)
- 14:46, 17 January 2011 (diff | hist) . . (-2) . . Talk:Proof-nets (→Complément de Michele sur ce qu'on voudrait pouvoir traiter) (current)
- 14:46, 17 January 2011 (diff | hist) . . (+1) . . Talk:Proof-nets (→Complément de Michele sur ce qu'on voudrait pouvoir traiter =)
- 14:45, 17 January 2011 (diff | hist) . . (+13,749) . . Talk:Proof-nets
- 16:03, 9 December 2010 (diff | hist) . . (+4) . . Main Page (→Contents: Libérez les réseaux !)
- 16:02, 9 December 2010 (diff | hist) . . (+405) . . N Talk:Proof-nets (discussion on basic definitions)
- 14:40, 16 October 2009 (diff | hist) . . (+5) . . Template:Stub (current)
- 14:39, 16 October 2009 (diff | hist) . . (+33) . . Template:Stub (Default text for stubs)
- 14:38, 16 October 2009 (diff | hist) . . (+10) . . m Isomorphism (added template stub)
- 14:38, 16 October 2009 (diff | hist) . . (+15) . . N Template:Stub (New page: This is a stub.)
- 13:30, 16 October 2009 (diff | hist) . . (+1,030) . . N Isomorphism (stub)
- 10:29, 12 October 2009 (diff | hist) . . (-232) . . Finiteness semantics (fixed reference)
- 10:20, 12 October 2009 (diff | hist) . . (+726) . . m Finiteness semantics (→Additives: mention the more general fact that additives are identified in a Mon-enriched model)
- 16:58, 6 July 2009 (diff | hist) . . (+1,633) . . LLWiki LaTeX Style (→Proof trees: describe all available commands for proof trees)
- 16:12, 6 July 2009 (diff | hist) . . (+19) . . Recommendations (→Proofs: only a simple example)
- 15:59, 6 July 2009 (diff | hist) . . (+25) . . Finiteness semantics (link to relational semantics)
- 15:57, 6 July 2009 (diff | hist) . . (-74) . . Finiteness semantics (Use \powerset, \finpowerset and \finmulset notations)
- 15:48, 6 July 2009 (diff | hist) . . (+195) . . m Notations (→Finiteness spaces: justify the notation of fniiteness structures)
- 15:41, 6 July 2009 (diff | hist) . . (+204) . . Notations (→Semantics: Notations for finiteness spaces)
- 15:36, 6 July 2009 (diff | hist) . . (+33) . . N Finiteness spaces (Alias for Finiteness semantics) (current)
- 21:49, 10 June 2009 (diff | hist) . . (+74) . . m Main Page (→Getting started: make clear the recommandation page should be visited before going wild on latex)
- 20:51, 10 June 2009 (diff | hist) . . (-3) . . m Relational semantics (use llwiki.sty notations for the powerset and the set of finite multisets)
- 20:48, 10 June 2009 (diff | hist) . . (+57) . . Relational semantics (→Interpretation of propositional linear logic (LL_0): Use \VdotsRule to denote prooftrees)
- 10:51, 10 June 2009 (diff | hist) . . (0) . . m Relational semantics (→Interpretation of propositional linear logic (LL_0): fixed bullet list)
- 10:45, 10 June 2009 (diff | hist) . . (-38) . . m Relational semantics (use llwiki.sty macro \set for sets)
- 10:39, 10 June 2009 (diff | hist) . . (+328) . . LLWiki LaTeX Style (example of proof tree)
- 20:44, 23 May 2009 (diff | hist) . . (+3,825) . . Relational semantics (→Relational semantics: Interpretation of first order propositional linear logic)
- 14:19, 23 May 2009 (diff | hist) . . (-13) . . m Phase semantics (→Relations and operators on subsets: simplified definition of <R>)
- 19:30, 22 May 2009 (diff | hist) . . (+38) . . m Finiteness semantics (→Finiteness spaces: link to closure operators)
- 19:01, 22 May 2009 (diff | hist) . . (0) . . m Finiteness semantics (fixed display math)
- 18:56, 22 May 2009 (diff | hist) . . (+39) . . Finiteness semantics (support for \[ and \])
- 18:53, 22 May 2009 (diff | hist) . . (-3) . . m Finiteness semantics (math typo)
- 18:52, 22 May 2009 (diff | hist) . . (+1,562) . . Finiteness semantics (fixed math and sectionning)
- 18:38, 22 May 2009 (diff | hist) . . (+12,997) . . N Finiteness semantics (initial import)
- 18:38, 22 May 2009 (diff | hist) . . (+28) . . Main Page (pointer to finiteness semantics)
- 22:56, 2 May 2009 (diff | hist) . . (-15) . . m Relational semantics (→Monoidal structure: redundancy)
- 11:43, 6 February 2009 (diff | hist) . . (+49) . . N User:Lionel Vaux (New page: [http://www.lama.univ-savoie.fr/~vaux/ Home Page]) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
