User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 17:02, 9 December 2010 (diff | hist) . . (+405) . . N Talk:Proof-nets (discussion on basic definitions)
- 15:40, 16 October 2009 (diff | hist) . . (+5) . . Template:Stub (current)
- 15:39, 16 October 2009 (diff | hist) . . (+33) . . Template:Stub (Default text for stubs)
- 15:38, 16 October 2009 (diff | hist) . . (+10) . . m Isomorphism (added template stub)
- 15:38, 16 October 2009 (diff | hist) . . (+15) . . N Template:Stub (New page: This is a stub.)
- 14:30, 16 October 2009 (diff | hist) . . (+1,030) . . N Isomorphism (stub)
- 11:29, 12 October 2009 (diff | hist) . . (-232) . . Finiteness semantics (fixed reference)
- 11: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)
- 17:58, 6 July 2009 (diff | hist) . . (+1,633) . . LLWiki LaTeX Style (→Proof trees: describe all available commands for proof trees)
- 17:12, 6 July 2009 (diff | hist) . . (+19) . . Recommendations (→Proofs: only a simple example)
- 16:59, 6 July 2009 (diff | hist) . . (+25) . . Finiteness semantics (link to relational semantics)
- 16:57, 6 July 2009 (diff | hist) . . (-74) . . Finiteness semantics (Use \powerset, \finpowerset and \finmulset notations)
- 16:48, 6 July 2009 (diff | hist) . . (+195) . . m Notations (→Finiteness spaces: justify the notation of fniiteness structures)
- 16:41, 6 July 2009 (diff | hist) . . (+204) . . Notations (→Semantics: Notations for finiteness spaces)
- 16:36, 6 July 2009 (diff | hist) . . (+33) . . N Finiteness spaces (Alias for Finiteness semantics) (current)
- 22: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)
- 21:51, 10 June 2009 (diff | hist) . . (-3) . . m Relational semantics (use llwiki.sty notations for the powerset and the set of finite multisets)
- 21:48, 10 June 2009 (diff | hist) . . (+57) . . Relational semantics (→Interpretation of propositional linear logic (LL_0): Use \VdotsRule to denote prooftrees)
- 11:51, 10 June 2009 (diff | hist) . . (0) . . m Relational semantics (→Interpretation of propositional linear logic (LL_0): fixed bullet list)
- 11:45, 10 June 2009 (diff | hist) . . (-38) . . m Relational semantics (use llwiki.sty macro \set for sets)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)