Data & IT

Category Theory and Computer Science

Eugenio Moggi • Giuseppe Rosolini

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

319 sidor
1997

This book constitutes the refereed proceedings of the 7th International Conference 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 with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Författare: Eugenio Moggi, Giuseppe Rosolini
Illustratör: Illustrations
Format: Pocket/Paperback
ISBN: 9783540634553
Språk: Engelska
Antal sidor: 319
Utgivningsdatum: 1997-08-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K