Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!uokmax!d.cs.okstate.edu!norman
From: norman@d.cs.okstate.edu (Norman Graham)
Newsgroups: comp.theory
Subject: Math for CS research (or 'Help! I've lost a reference.')
Message-ID: <1990Dec13.053125.3910@d.cs.okstate.edu>
Date: 13 Dec 90 05:31:25 GMT
Sender: norman@d.cs.okstate.edu (Norman Graham)
Organization: Oklahoma State University, Stillwater
Lines: 23

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