norman@d.cs.okstate.edu (Norman Graham) (12/13/90)
I seem to remember a book or research report in which someone described all the mathematics they considered necessary for research in most areas of Computer Science. I assume that it covers universal algebra, various logics, category theory, type theory, and semantics, or some combination of these topics. Of course, now I can't find the reference and I can't remember the title of the work or the names of the author(s) [but I have a vague feeling the author(s) were from the Colorado/Arizona area]. I'm beginning to believe that I'm remembering the work from some dream or else I'm going over the edge [I've heard that dissertations sometimes cause that :-)]. If this description rings a bell with anyone, please send a note to me. If I locate the book/paper, I'll post the reference for the rest of the net. Thanks, Norm -- Norman Graham <norman@a.cs.okstate.edu> Standard Disclaimer Applies {cbosgd,rutgers}!okstate!norman