Tallenna
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.
- Alaotsikko
- 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
- Toimittaja
- Eugenio Moggi, Giuseppe Rosolini
- Painos
- 1997 ed.
- ISBN
- 9783540634553
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.8.1997
- Sivumäärä
- 319
