Gå direkt till innehållet
Category Theory and Computer Science
Spara

Category Theory and Computer Science

Lägsta pris på PriceRunner
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
Upplaga
1997 ed.
ISBN
9783540634553
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1997-08-20
Sidor
319