13 Feb
2004
13 Feb
'04
2:30 p.m.
Is there a "tradition" in constructive development of category theory? If so, what is a good reference? best regards, steve -------- D. E. Stevenson, Department of Computer Science Director, Institute for Modeling and Simulation Applications Clemson University, Clemson, SC 29634-0974 864.656.5880 http://www.cs.clemson.edu/~steve