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