User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 00:41, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 00:40, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 00:39, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 00:38, 25 March 2009 (diff | hist) . . (-4) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 15:26, 24 March 2009 (diff | hist) . . (-96) . . Main Page (→Getting started)
- 22:40, 19 March 2009 (diff | hist) . . (+495) . . Sequent calculus (→Exponential rules: multiplexing)
- 22:28, 19 March 2009 (diff | hist) . . (+352) . . N Talk:Light linear logics (Computational complexity) (current)
- 22:22, 19 March 2009 (diff | hist) . . (+38) . . m Light linear logics (→Soft linear logic: explicit mention of multi-functoriality)
- 22:19, 19 March 2009 (diff | hist) . . (+35) . . m Light linear logics (→Light linear logic: explicit mention of functoriality)
- 22:16, 19 March 2009 (diff | hist) . . (+27) . . m Light linear logics (→Elementary linear logic: explicit mention of multi-functoriality)
- 22:14, 19 March 2009 (diff | hist) . . (-23) . . m Main Page (→Contents: remove implicit complexity)
- 22:05, 19 March 2009 (diff | hist) . . (+805) . . Sequent calculus (→Variations: multi-fonctorial promotion and digging)
- 21:39, 19 March 2009 (diff | hist) . . (+104) . . m Sequent calculus (→Sequents and proofs: additional context in promotion rules)
- 12:51, 15 March 2009 (diff | hist) . . (+66) . . Semantics (→Additive structure: diagonal)
- 12:39, 15 March 2009 (diff | hist) . . (+277) . . Talk:Sequent calculus (→Equivalences)
- 17:47, 14 March 2009 (diff | hist) . . (+196) . . Talk:Sequent calculus (→Equivalences: new section)
- 17:46, 14 March 2009 (diff | hist) . . (-829) . . Talk:Sequent calculus (→Two-sided sequent calculus: closed topic)
- 17:45, 14 March 2009 (diff | hist) . . (-1,645) . . Talk:Sequent calculus (→Quantifiers: closed topic)
- 17:39, 14 March 2009 (diff | hist) . . (+84) . . m Sequent calculus (→Fundamental equivalences: pointer to the lattice of exponential modalities)
- 15:31, 14 March 2009 (diff | hist) . . (+3) . . m Talk:Positive formula (→Negative formula: signature syntax) (current)
- 15:29, 14 March 2009 (diff | hist) . . (+2) . . m Talk:Coherent semantics (signature syntax)
- 15:21, 14 March 2009 (diff | hist) . . (-448) . . Talk:Coherent semantics (→Main properties: closed topic)
- 14:10, 14 March 2009 (diff | hist) . . (+176) . . Talk:Coherent semantics (→Mix rule: new section)
- 00:12, 9 March 2009 (diff | hist) . . (+367) . . N Talk:Positive formula (Negative formula)
- 00:07, 9 March 2009 (diff | hist) . . (+1) . . m Talk:Coherent semantics (→Main properties: typo)
- 18:03, 6 March 2009 (diff | hist) . . (+90) . . Coherent semantics (→Main properties: more unit cases)
- 16:58, 6 March 2009 (diff | hist) . . (+4,980) . . N Positive formula (New page: A ''positive formula'' is a formula <math>P</math> such that <math>P\limp\oc P</math> (thus a coalgebra for the comonad <math>\oc</math>). A...)
- 16:46, 6 March 2009 (diff | hist) . . (+4) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: modified rule names)
- 22:21, 5 March 2009 (diff | hist) . . (+310) . . Talk:Coherent semantics (→Main properties: new section)
- 14:57, 22 February 2009 (diff | hist) . . (+269) . . N Talk:Coherent semantics (linear logical relations)
- 14:53, 22 February 2009 (diff | hist) . . (+4) . . m Coherent semantics (→The cartesian closed structure of coherent semantics: link to phase semantics added)
- 14:52, 22 February 2009 (diff | hist) . . (+1) . . m Coherent semantics (→CLiqued space: typos)
- 00:19, 13 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)
- 00:17, 13 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)
- 00:15, 13 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)
- 00:11, 13 February 2009 (diff | hist) . . (+33) . . m Sequent calculus (→Sequents and proofs: use of \rulename)
- 00:10, 13 February 2009 (diff | hist) . . (+22) . . m Sequent calculus (→Two-sided sequent calculus: use of \rulename)
- 00:07, 13 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Input / output polarities: use of \rulename)
- 00:06, 13 February 2009 (diff | hist) . . (+2) . . m Intuitionistic linear logic (→The intuitionistic fragment of linear logic: use of \rulename)
- 00:04, 13 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Sequent Calculus: use of \rulename)
- 00:03, 13 February 2009 (diff | hist) . . (+32) . . m Recommendations (→Set of rules: use of \rulename)
- 00:01, 13 February 2009 (diff | hist) . . (+4) . . m Recommendations (→Proofs: use of \rulename)
- 15:01, 11 February 2009 (diff | hist) . . (+24) . . m Phase semantics (Correction of the sectionning level)
- 23:17, 8 February 2009 (diff | hist) . . (+2) . . m Recommendations (→User account: typos)
- 23:15, 8 February 2009 (diff | hist) . . (+194) . . Recommendations (→Notations: Conventions added)
- 17:09, 8 February 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: typo)
- 17:05, 8 February 2009 (diff | hist) . . (+24) . . m Coherent semantics (→As domains: typo)
- 17:02, 8 February 2009 (diff | hist) . . (+264) . . m Coherent semantics (Bibliographic reference for ''System F 15 years later'' added)
- 16:32, 8 February 2009 (diff | hist) . . (-28) . . m Phase semantics (→Phase Semantics: systematic use of \Bot)
- 16:30, 8 February 2009 (diff | hist) . . (+90) . . LLWiki LaTeX Style (→Mathematical notations: \Bot and \Perp added)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)