Hi, I did some browsing around here on MathOverflow, but I feel that my question is different enough from others that it warrants its own question. Background: I'm a computer science major, with a ...
For background: I'm working on a book to help mathematicians learn how to program. However, I need to see some examples from people in the field that have done different kinds of things than I have. ...
This summer my wife and one of my friends (who are both programmers and undergraduate math majors, but have not learned any algebraic geometry) want to learn some algebraic geometry from me, and I ...
I'm wondering what the relation of category theory to programming language theory is. I've been reading some books on category theory and topos theory, but if someone happens to know what the ...
This is a survey question, which seeks to produce a list of answers from the audience of mathematicians. Motivation: I'm doing research in mathematics education. I'm particularly interested in ...