User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 10:42, 19 October 2009 (diff | hist) . . (+239) . . N Talk:Semantics (Page status)
- 23:28, 16 October 2009 (diff | hist) . . (+10) . . m Lattice of exponential modalities (declared as stub)
- 22:48, 12 October 2009 (diff | hist) . . (+32) . . N Coherent spaces (Redirect to 'Coherent semantics') (current)
- 22:47, 12 October 2009 (diff | hist) . . (+4) . . m Notations (→Coherent spaces: link to the 'coherent spaces' page)
- 15:18, 12 October 2009 (diff | hist) . . (+66) . . N MediaWiki:Signupend (Pointer to recommandations)
- 23:27, 11 October 2009 (diff | hist) . . (+9) . . Todo List (→Wiki: accept logo + favicon done) (current)
- 23:37, 5 October 2009 (diff | hist) . . (+207) . . N Lattice of exponential modalities (lattice drawing only)
- 23:11, 5 October 2009 (diff | hist) . . (+10,798) . . Translations of classical logic (Q-translation added) (current)
- 22:25, 5 October 2009 (diff | hist) . . (+279) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: T L rule) (current)
- 22:08, 5 October 2009 (diff | hist) . . (+4) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: typos)
- 22:07, 5 October 2009 (diff | hist) . . (+6) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: typos)
- 22:05, 5 October 2009 (diff | hist) . . (+2) . . m Translations of intuitionistic logic (→Call-by-name Girard's translation A\imp B \mapsto \oc{A}\limp B: typo)
- 23:04, 21 September 2009 (diff | hist) . . (+11,928) . . N Translations of classical logic (T-translation)
- 23:28, 16 July 2009 (diff | hist) . . (+80) . . m Positive formula (→Generalized structural rules: with \VdotsRule)
- 10:29, 12 June 2009 (diff | hist) . . (-1) . . m Main Page (→Getting started: typo)
- 19:25, 10 June 2009 (diff | hist) . . (+76) . . Recommendations (→Proofs: \VdotsRule added)
- 19:24, 10 June 2009 (diff | hist) . . (+38) . . LLWiki LaTeX Style (→Proof trees: \VdotsRule added)
- 19:23, 10 June 2009 (diff | hist) . . (+232) . . LLWiki LaTeX Style (→Mathematical notations: \powerset,... added)
- 23:48, 25 May 2009 (diff | hist) . . (+7) . . m Finiteness semantics (→Additives: formatting)
- 23:43, 25 May 2009 (diff | hist) . . (-163) . . m Finiteness semantics (→Multiplicatives: formatting)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)