User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 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)
- 00:24, 3 March 2009 (diff | hist) . . (+1,114) . . Coherent semantics (Definition of exponentials)
- 23:57, 2 March 2009 (diff | hist) . . (+71) . . Main Page (Added a direct link to the LaTeX macros listing)
- 10:34, 2 March 2009 (diff | hist) . . (+1,511) . . Coherent semantics (Linear negation)
- 00:51, 2 March 2009 (diff | hist) . . (+378) . . Coherent semantics (Definition of tensor product)
- 00:58, 1 March 2009 (diff | hist) . . (+79) . . Coherent semantics (→Stable functions: correction of the notation for finite cliques)
- 00:51, 1 March 2009 (diff | hist) . . (+424) . . Coherent semantics (Factorisation of the common structure of the three definitions of coherent spaces)
- 00:03, 1 March 2009 (diff | hist) . . (+3) . . Coherent semantics (→The cartesian closed structure of coherent semantics: typo)
- 00:35, 20 February 2009 (diff | hist) . . (+4,557) . . Coherent semantics (Added a third definition of coherent spaces: cliqued space)
- 00:20, 9 February 2009 (diff | hist) . . (+3,093) . . Coherent semantics (Linear functions)
- 23:49, 8 February 2009 (diff | hist) . . (+175) . . Coherent semantics (→Stable functions: reformulation of the closure theorem)
- 23:06, 8 February 2009 (diff | hist) . . (+16) . . Coherent semantics (Correction of the sectionning level)
- 15:27, 8 February 2009 (diff | hist) . . (+2,726) . . Coherent semantics (CS is a CCC)
- 14:14, 8 February 2009 (diff | hist) . . (-444) . . Coherent semantics (making the two CE defs more consistent)
- 23:25, 7 February 2009 (diff | hist) . . (+440) . . Coherent semantics (stable functions, continuation)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)