User contributions
From Wikipedia, the free encyclopedia
(latest | earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 21:08, 9 June 2009 (hist) (diff) Talk:Denotational semantics (progressivity?)
- 21:04, 9 June 2009 (hist) (diff) Denotational semantics (→Full abstraction: "progressivity" seems to be an instance of "constructivity")
- 21:02, 9 June 2009 (hist) (diff) Denotational semantics (→Further reading: Abramsky and Jung is basically a textbook)
- 21:00, 9 June 2009 (hist) (diff) Denotational semantics (→Full abstraction: reference)
- 20:50, 9 June 2009 (hist) (diff) Denotational semantics (→Semantics of recursive programs: changing section heading to "Denotational semantics of ...",)
- 20:43, 9 June 2009 (hist) (diff) Talk:Denotational semantics (→Actors, concurrency etc: new section)
- 20:39, 9 June 2009 (hist) (diff) N Talk:Denotational semantics/Archive3 (creating archive) (top)
- 20:38, 9 June 2009 (hist) (diff) Talk:Denotational semantics (archiving...)
- 20:36, 9 June 2009 (hist) (diff) Denotational semantics of the Actor model (Undid revision 294517454 by 66.201.56.75 (talk) Moving this back from Denotational semantics page)
- 20:34, 9 June 2009 (hist) (diff) Denotational semantics (Undid revisions by 66.201.56.75 (talk) This belongs on the denotational semantics of the actor model; moving it back)
- 09:26, 14 April 2009 (hist) (diff) Power set (→Sample Implementations: removed implementation. doesn't really belong here. see talk page.)
- 09:25, 14 April 2009 (hist) (diff) Talk:Power set (→Algorithms)
- 11:03, 2 January 2009 (hist) (diff) m Talk:Coherence condition (→"Expert" template explanation: edit response) (top)
- 18:20, 1 January 2009 (hist) (diff) m Coequalizer (→See also: fix link) (top)
- 18:19, 1 January 2009 (hist) (diff) Coequalizer (→See also: no need for the explanation, really)
- 18:18, 1 January 2009 (hist) (diff) Equaliser (mathematics) (→See also: clarify status of pullback)
- 16:48, 1 January 2009 (hist) (diff) Equaliser (mathematics) (Undid revision 261265280 by Nbarth (talk) not a generalization. has pullbacks does NOT imply has equalisers)
- 16:47, 1 January 2009 (hist) (diff) Coequalizer (Undid revision 261265416 by Nbarth (talk) not a generalization. has pushouts does NOT imply has coequalizers)
- 16:11, 1 January 2009 (hist) (diff) Talk:Coherence condition (→"Expert" template explanation)
- 10:00, 22 November 2008 (hist) (diff) Category theory (→Properties of morphisms: This doesn't make sense for an abstract category: the word "bijection" has no meaning in this setting.)
- 20:54, 19 November 2008 (hist) (diff) m Operad theory (Undid revision 252591107 by 128.135.96.181 (talk))
- 07:39, 18 November 2008 (hist) (diff) m Operad theory (Undid revision 252517987 by 75.34.177.150 (talk))
- 10:47, 15 November 2008 (hist) (diff) Tarski–Grothendieck set theory (clarify, that this set theory was not entirely invented by Tarski or Grothendieck. Correct me if I'm wrong.)
- 22:53, 13 November 2008 (hist) (diff) Wikipedia:Requested moves (→Uncontroversial proposals)
- 22:47, 13 November 2008 (hist) (diff) m Chartered Biologist (→External links: case)
- 22:43, 13 November 2008 (hist) (diff) Wikipedia:Requested moves (→Uncontroversial proposals: Chartered Scientist)
- 22:38, 13 November 2008 (hist) (diff) m Chartered Scientist (→See also: fixed case)
- 21:55, 13 November 2008 (hist) (diff) N Chartered physicist (moved Chartered physicist to Chartered Physicist: Title, proper name)
- 21:55, 13 November 2008 (hist) (diff) m Chartered Physicist (moved Chartered physicist to Chartered Physicist: Title, proper name)
- 21:54, 13 November 2008 (hist) (diff) Chartered Biologist (correction and clarification, and references.)
- 19:08, 10 November 2008 (hist) (diff) Meat Is Murder (it does cite some sources)
- 19:06, 10 November 2008 (hist) (diff) Meat Is Murder (added hatnote for the book)
- 19:04, 10 November 2008 (hist) (diff) Creation Cinema series (fix redirect)
- 19:03, 10 November 2008 (hist) (diff) Talk:Meat Is Murder! (probably best to redirect to the album) (top)
- 19:02, 10 November 2008 (hist) (diff) Meat Is Murder! (probably best to redirect to the album) (top)
- 18:48, 10 November 2008 (hist) (diff) N Talk:Meat Is Murder! (moved Talk:Meat Is Murder! to Talk:Meat is Murder (book): Correct capitalization, and disambiguating from the album)
- 18:48, 10 November 2008 (hist) (diff) m Talk:Meat is Murder (book) (moved Talk:Meat Is Murder! to Talk:Meat is Murder (book): Correct capitalization, and disambiguating from the album) (top)
- 18:48, 10 November 2008 (hist) (diff) N Meat Is Murder! (moved Meat Is Murder! to Meat is Murder (book): Correct capitalization, and disambiguating from the album)
- 18:48, 10 November 2008 (hist) (diff) m Meat is Murder (book) (moved Meat Is Murder! to Meat is Murder (book): Correct capitalization, and disambiguating from the album)
- 14:26, 10 November 2008 (hist) (diff) Template talk:Context (→Should this go on talk pages?: new section)
- 08:47, 7 November 2008 (hist) (diff) Wikipedia:Articles for deletion/Meat Is Murder! (KEEP)
- 08:59, 6 November 2008 (hist) (diff) Wikipedia:Articles for deletion/Meat Is Murder! (clarify)
- 21:08, 5 November 2008 (hist) (diff) Wikipedia:Articles for deletion/Meat Is Murder! (other books)
- 10:32, 31 October 2008 (hist) (diff) Meat is Murder (book) (hatnote for album)
- 10:29, 31 October 2008 (hist) (diff) Wikipedia:Articles for deletion/Log/2008 October 31 (Adding Wikipedia:Articles for deletion/Meat Is Murder!)
- 10:28, 31 October 2008 (hist) (diff) N Wikipedia:Articles for deletion/Meat Is Murder! (Creating deletion discussion page for Meat Is Murder!)
- 10:25, 31 October 2008 (hist) (diff) Meat is Murder (book) (proposed deletion)
- 10:23, 30 October 2008 (hist) (diff) Talk:Power set (→Algorithms: new section)
- 10:22, 30 October 2008 (hist) (diff) Power set (→Algorithms: Removed illustration; see talk page)
- 07:33, 29 October 2008 (hist) (diff) Finite-state machine (→References: Delete section. There are plenty of references below. Inline citations are not necessary. See WP:CITE.)
(latest | earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
