Spar
Category Theory and Computer Science
Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS '97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.
- Undertittel
- 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
- Redaktør
- Eugenio Moggi, Giuseppe Rosolini
- Opplag
- 1997 ed.
- ISBN
- 9783540634553
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.8.1997
- Antall sider
- 319
