User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:47, 28 March 2009 (diff | hist) . . (-19) . . m Geometry of interaction (style corrections)
- 23:54, 27 March 2009 (diff | hist) . . (+2,063) . . N Geometry of interaction (Creation of the page, introduction)
- 22:33, 25 March 2009 (diff | hist) . . (+40) . . m Coherent semantics (→Tensor product: link to the definition of monoidal symetric closed categories)
- 10:48, 17 March 2009 (diff | hist) . . (+37) . . Main Page (Reorganisation of the toc following a more chronological order)
- 12:45, 14 March 2009 (diff | hist) . . (+30) . . Coherent semantics (resectionning the mix rule)
- 12:43, 14 March 2009 (diff | hist) . . (+2,033) . . Coherent semantics (The mix rule)
- 11:47, 14 March 2009 (diff | hist) . . (+41) . . Intuitionistic linear logic (Link to the LL sequent calculus)
- 22:33, 12 March 2009 (diff | hist) . . (+3,125) . . Coherent semantics (The Gustave function)
- 00:07, 12 March 2009 (diff | hist) . . (+4,267) . . Coherent semantics (started the last section: The failure of coherent semantics)
- 22:26, 8 March 2009 (diff | hist) . . (+139) . . Talk:Coherent semantics (→Main properties)
- 22:21, 8 March 2009 (diff | hist) . . (+223) . . Semantics (use of latex arrays for improving the presentation)
- 21:40, 8 March 2009 (diff | hist) . . (+3,047) . . N Semantics (Creation of the page from the section "Main properties" of the Coherent semantics page)
- 21:32, 8 March 2009 (diff | hist) . . (-3,153) . . Coherent semantics (Moved the "Main properties" section into the Semantics page)
- 21:20, 8 March 2009 (diff | hist) . . (+4) . . Main Page (Added a link to the "semantics" page)
- 11:42, 6 March 2009 (diff | hist) . . (+280) . . Coherent semantics (→Linear functions: precision)
- 11:31, 6 March 2009 (diff | hist) . . (+326) . . Coherent semantics (→Main properties)
- 11:21, 6 March 2009 (diff | hist) . . (+28) . . Coherent semantics (→Cartesian product: corrections)
- 11:15, 6 March 2009 (diff | hist) . . (0) . . m Coherent semantics (→Stable functions: correction of correction)
- 11:14, 6 March 2009 (diff | hist) . . (+32) . . Coherent semantics (→Stable functions: corrections)
- 11:00, 6 March 2009 (diff | hist) . . (+364) . . Coherent semantics (→As cliqued spaces: corrections)
- 18:50, 5 March 2009 (diff | hist) . . (+3,023) . . Coherent semantics (list of canonical mophisms and isomophisms)
- 23:01, 4 March 2009 (diff | hist) . . (+4,755) . . Coherent semantics (Dual connectives, par and why not, and neutrals)
- 21:36, 4 March 2009 (diff | hist) . . (+1) . . m Coherent semantics (typo (should always preview before save))
- 21:35, 4 March 2009 (diff | hist) . . (+10) . . Coherent semantics (forgotten a \longrightarrow)
- 21:32, 4 March 2009 (diff | hist) . . (+52) . . Coherent semantics (disambiguate between the space X \imp Y and the notation F: X \longrightarrow Y)
- 21:04, 4 March 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: superfluous newline)
- 23:24, 2 March 2009 (diff | hist) . . (+1,114) . . Coherent semantics (Definition of exponentials)
- 22:57, 2 March 2009 (diff | hist) . . (+71) . . Main Page (Added a direct link to the LaTeX macros listing)
- 09:34, 2 March 2009 (diff | hist) . . (+1,511) . . Coherent semantics (Linear negation)
- 23:51, 1 March 2009 (diff | hist) . . (+378) . . Coherent semantics (Definition of tensor product)
- 23:58, 28 February 2009 (diff | hist) . . (+79) . . Coherent semantics (→Stable functions: correction of the notation for finite cliques)
- 23:51, 28 February 2009 (diff | hist) . . (+424) . . Coherent semantics (Factorisation of the common structure of the three definitions of coherent spaces)
- 23:03, 28 February 2009 (diff | hist) . . (+3) . . Coherent semantics (→The cartesian closed structure of coherent semantics: typo)
- 23:35, 19 February 2009 (diff | hist) . . (+4,557) . . Coherent semantics (Added a third definition of coherent spaces: cliqued space)
- 23:20, 8 February 2009 (diff | hist) . . (+3,093) . . Coherent semantics (Linear functions)
- 22:49, 8 February 2009 (diff | hist) . . (+175) . . Coherent semantics (→Stable functions: reformulation of the closure theorem)
- 22:06, 8 February 2009 (diff | hist) . . (+16) . . Coherent semantics (Correction of the sectionning level)
- 14:27, 8 February 2009 (diff | hist) . . (+2,726) . . Coherent semantics (CS is a CCC)
- 13:14, 8 February 2009 (diff | hist) . . (-444) . . Coherent semantics (making the two CE defs more consistent)
- 22:25, 7 February 2009 (diff | hist) . . (+440) . . Coherent semantics (stable functions, continuation)
- 20:30, 7 February 2009 (diff | hist) . . (+1,489) . . Coherent semantics (stable functions, unfinished)
- 18:51, 7 February 2009 (diff | hist) . . (+1,809) . . Coherent semantics (Fonctions stables)
- 18:15, 7 February 2009 (diff | hist) . . (+1,944) . . Coherent semantics (définition des EC)
- 16:44, 7 February 2009 (diff | hist) . . (+38) . . Notations (→Coherent spaces)
- 16:19, 7 February 2009 (diff | hist) . . (+167) . . Notations (Notations for coherent spaces)
- 16:05, 7 February 2009 (diff | hist) . . (+1,114) . . N Coherent semantics (Démarrage de la page : chapeau introductif et historique)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
