Spara
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.
- Undertitel
- 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
- Redaktör
- Eugenio Moggi, Giuseppe Rosolini
- Upplaga
- 1997 ed.
- ISBN
- 9783540634553
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1997-08-20
- Sidor
- 319
