this book constitutes the refereed proceedings of the 7thinternationalconference on Category theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.;Category theory attrac...
详细信息
ISBN:
(数字)9783540695523
ISBN:
(纸本)9783540634553
this book constitutes the refereed proceedings of the 7thinternationalconference on Category theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.;Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. this book presents a selection of 15 revised full papers together withthree invited contributions. the topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
暂无评论