User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 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)
- 11:39, 10 June 2009 (diff | hist) . . (+328) . . LLWiki LaTeX Style (example of proof tree)
- 21:44, 23 May 2009 (diff | hist) . . (+3,825) . . Relational semantics (→Relational semantics: Interpretation of first order propositional linear logic)
- 15:19, 23 May 2009 (diff | hist) . . (-13) . . m Phase semantics (→Relations and operators on subsets: simplified definition of <R>)
- 20:30, 22 May 2009 (diff | hist) . . (+38) . . m Finiteness semantics (→Finiteness spaces: link to closure operators)
- 20:01, 22 May 2009 (diff | hist) . . (0) . . m Finiteness semantics (fixed display math)
- 19:56, 22 May 2009 (diff | hist) . . (+39) . . Finiteness semantics (support for \[ and \])
- 19:53, 22 May 2009 (diff | hist) . . (-3) . . m Finiteness semantics (math typo)
- 19:52, 22 May 2009 (diff | hist) . . (+1,562) . . Finiteness semantics (fixed math and sectionning)
- 19:38, 22 May 2009 (diff | hist) . . (+12,997) . . N Finiteness semantics (initial import)
- 19:38, 22 May 2009 (diff | hist) . . (+28) . . Main Page (pointer to finiteness semantics)
- 23:56, 2 May 2009 (diff | hist) . . (-15) . . m Relational semantics (→Monoidal structure: redundancy)
- 12: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 20 | older 20) (20 | 50 | 100 | 250 | 500)