Category Theory and Computer Science
Pitt, David H. / Curien, Pierre-Louis / Rydeheard, David E. / Pitts, Andrew / Poigne, Axel / Abramsky, Samson
The papers in this volume were presented at the fourth
biennial Summer Conference on Category Theory and Computer
Science, held in Paris, September3-6, 1991. Category theory
continues to be an important tool in foundationalstudies in
computer science. It has been widely applied by logicians to
get concise interpretations of many logical concepts. Links
between logic and computer science have been developed now
for over twenty years, not...