@inproceedings{DBLP:conf/fics/Winskel02,
author = {Glynn Winskel},
title = {Calculus for categories},
booktitle = {FICS},
year = {2002},
pages = {1},
crossref = {DBLP:conf/fics/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fics/2002,
editor = {Zolt{\'a}n {\'E}sik and
Anna Ing{\'o}lfsd{\'o}ttir},
title = {Fixed Points in Computer Science, FICS 2002, Copenhagen,
Denmark, 20-21 July 2002, Preliminary Proceedings},
booktitle = {FICS},
publisher = {University of Aarhus},
series = {BRICS Notes Series},
volume = {NS-02-2},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-09-20 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
