User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 12:47, 14 March 2009 (diff | hist) . . (+41) . . Intuitionistic linear logic (Link to the LL sequent calculus)
- 23:33, 12 March 2009 (diff | hist) . . (+3,125) . . Coherent semantics (The Gustave function)
- 01:07, 12 March 2009 (diff | hist) . . (+4,267) . . Coherent semantics (started the last section: The failure of coherent semantics)
- 23:26, 8 March 2009 (diff | hist) . . (+139) . . Talk:Coherent semantics (→Main properties)
- 23:21, 8 March 2009 (diff | hist) . . (+223) . . Semantics (use of latex arrays for improving the presentation)
- 22:40, 8 March 2009 (diff | hist) . . (+3,047) . . N Semantics (Creation of the page from the section "Main properties" of the Coherent semantics page)
- 22:32, 8 March 2009 (diff | hist) . . (-3,153) . . Coherent semantics (Moved the "Main properties" section into the Semantics page)
- 22:20, 8 March 2009 (diff | hist) . . (+4) . . Main Page (Added a link to the "semantics" page)
- 12:42, 6 March 2009 (diff | hist) . . (+280) . . Coherent semantics (→Linear functions: precision)
- 12:31, 6 March 2009 (diff | hist) . . (+326) . . Coherent semantics (→Main properties)
- 12:21, 6 March 2009 (diff | hist) . . (+28) . . Coherent semantics (→Cartesian product: corrections)
- 12:15, 6 March 2009 (diff | hist) . . (0) . . m Coherent semantics (→Stable functions: correction of correction)
- 12:14, 6 March 2009 (diff | hist) . . (+32) . . Coherent semantics (→Stable functions: corrections)
- 12:00, 6 March 2009 (diff | hist) . . (+364) . . Coherent semantics (→As cliqued spaces: corrections)
- 19:50, 5 March 2009 (diff | hist) . . (+3,023) . . Coherent semantics (list of canonical mophisms and isomophisms)
- 00:01, 5 March 2009 (diff | hist) . . (+4,755) . . Coherent semantics (Dual connectives, par and why not, and neutrals)
- 22:36, 4 March 2009 (diff | hist) . . (+1) . . m Coherent semantics (typo (should always preview before save))
- 22:35, 4 March 2009 (diff | hist) . . (+10) . . Coherent semantics (forgotten a \longrightarrow)
- 22:32, 4 March 2009 (diff | hist) . . (+52) . . Coherent semantics (disambiguate between the space X \imp Y and the notation F: X \longrightarrow Y)
- 22:04, 4 March 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: superfluous newline)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)