Hi, I'm not a mathematician (so pardon my n00b questions!), more of an armchair computer scientist. I'm mostly interested in category theory and what it has to say about programming.
9 What's after natural transformations? Jul 21 '10
9 Aren't “oracle machines” unsound concepts? [closed] Jul 23 '10