User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:57, 22 February 2009 (diff | hist) . . (+269) . . N Talk:Coherent semantics (linear logical relations)
- 13:53, 22 February 2009 (diff | hist) . . (+4) . . m Coherent semantics (→The cartesian closed structure of coherent semantics: link to phase semantics added)
- 13:52, 22 February 2009 (diff | hist) . . (+1) . . m Coherent semantics (→CLiqued space: typos)
- 23:19, 12 February 2009 (diff | hist) . . (+7) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: use of \rulename)
- 23:17, 12 February 2009 (diff | hist) . . (+7) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: use of \rulename)
- 23:15, 12 February 2009 (diff | hist) . . (+19) . . m Translations of intuitionistic logic (→Call-by-name Girard's translation A\imp B \mapsto \oc{A}\limp B: use of \rulename)
- 23:11, 12 February 2009 (diff | hist) . . (+33) . . m Sequent calculus (→Sequents and proofs: use of \rulename)
- 23:10, 12 February 2009 (diff | hist) . . (+22) . . m Sequent calculus (→Two-sided sequent calculus: use of \rulename)
- 23:07, 12 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Input / output polarities: use of \rulename)
- 23:06, 12 February 2009 (diff | hist) . . (+2) . . m Intuitionistic linear logic (→The intuitionistic fragment of linear logic: use of \rulename)
- 23:04, 12 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Sequent Calculus: use of \rulename)
- 23:03, 12 February 2009 (diff | hist) . . (+32) . . m Recommendations (→Set of rules: use of \rulename)
- 23:01, 12 February 2009 (diff | hist) . . (+4) . . m Recommendations (→Proofs: use of \rulename)
- 14:01, 11 February 2009 (diff | hist) . . (+24) . . m Phase semantics (Correction of the sectionning level)
- 22:17, 8 February 2009 (diff | hist) . . (+2) . . m Recommendations (→User account: typos)
- 22:15, 8 February 2009 (diff | hist) . . (+194) . . Recommendations (→Notations: Conventions added)
- 16:09, 8 February 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: typo)
- 16:05, 8 February 2009 (diff | hist) . . (+24) . . m Coherent semantics (→As domains: typo)
- 16:02, 8 February 2009 (diff | hist) . . (+264) . . m Coherent semantics (Bibliographic reference for ''System F 15 years later'' added)
- 15:32, 8 February 2009 (diff | hist) . . (-28) . . m Phase semantics (→Phase Semantics: systematic use of \Bot)
- 15:30, 8 February 2009 (diff | hist) . . (+90) . . LLWiki LaTeX Style (→Mathematical notations: \Bot and \Perp added)
- 15:16, 8 February 2009 (diff | hist) . . (-16) . . m Phase semantics (→Phase Semantics: systematic use of \orth and \biorth)
- 15:12, 8 February 2009 (diff | hist) . . (+100) . . LLWiki LaTeX Style (→Mathematical notations: \biorth and \triorth added)
- 15:00, 8 February 2009 (diff | hist) . . (-7) . . m Phase semantics (Template:Remark for remarks)
- 14:52, 8 February 2009 (diff | hist) . . (+111) . . Recommendations (→Definitions and theorems: Remark added)
- 14:48, 8 February 2009 (diff | hist) . . (+27) . . N Template:Remark (Template for remarks)
- 14:48, 8 February 2009 (diff | hist) . . (0) . . m Phase semantics (→Relations and operators on subsets: typo)
- 14:35, 8 February 2009 (diff | hist) . . (+29) . . m Sequent calculus (typos and pointers)
- 18:35, 3 February 2009 (diff | hist) . . (0) . . m Game semantics (→Strategies: typos) (current)
- 22:51, 2 February 2009 (diff | hist) . . (+18,544) . . N Translations of intuitionistic logic (Definitions of three translations)
- 21:07, 21 January 2009 (diff | hist) . . (+110) . . LLWiki LaTeX Style (→Mathematical notations: \linequiv and \set added)
- 23:10, 18 January 2009 (diff | hist) . . (+120) . . Sequent calculus (→Equivalences and definability: isomorphism and equiprovability)
- 23:06, 18 January 2009 (diff | hist) . . (+374) . . N Equiprovability (basic cases) (current)
- 12:29, 18 January 2009 (diff | hist) . . (+80) . . LLWiki:About (email contact) (current)
- 21:52, 17 January 2009 (diff | hist) . . (-51) . . m Intuitionistic linear logic (\alpha -> \xi)
- 18:13, 17 January 2009 (diff | hist) . . (-2) . . m Talk:Sequent calculus (→Quantifiers: indentation)
- 22:34, 15 January 2009 (diff | hist) . . (+831) . . Talk:Sequent calculus (→Two-sided sequent calculus: new section)
- 22:22, 15 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Reversibility: typo)
- 11:11, 15 January 2009 (diff | hist) . . (+205) . . Sequent calculus (→Equivalences and definability: Additional equivalences)
- 23:04, 14 January 2009 (diff | hist) . . (+77) . . Talk:Sequent calculus (→Quantifiers: subformula of <math>\forall X A</math>)
- 23:02, 14 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Cut elimination and consequences: typos)
- 22:47, 14 January 2009 (diff | hist) . . (+98) . . Sequent calculus (→Fundamental equivalences: commutation of quantifiers with tensor)
- 19:37, 14 January 2009 (diff | hist) . . (+554) . . N Talk:Sequent calculus (Dealing with quantifiers)
- 19:35, 14 January 2009 (diff | hist) . . (-2) . . m Sequent calculus (→Equivalences and definability: typo)
- 22:31, 12 January 2009 (diff | hist) . . (+6) . . m Recommendations (→Set of rules: <br /> instead of <br>)
- 20:51, 11 January 2009 (diff | hist) . . (+3,879) . . Intuitionistic linear logic (input/output polarities)
- 20:46, 11 January 2009 (diff | hist) . . (+664) . . Intuitionistic linear logic (→The intuitionistic fragment of linear logic: refined statements)
- 20:42, 11 January 2009 (diff | hist) . . (+73) . . N Help:Editing (pointers to notations and recommendations) (current)
- 17:13, 11 January 2009 (diff | hist) . . (+82) . . m Todo List (→Templates: bibliography: proposal of Extension:Bibtexio)
- 17:10, 11 January 2009 (diff | hist) . . (+64) . . Todo List (→Wiki: favicon)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
