Category theory and computer science: 7th international conference, ctcs'97, santa margherita ligure italy, september 4-6, 1997, proceedings
Auteur :
Moggi, Eugenio
ISBN :
9783540634553
Date de publication :
20 août 1997
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
1020 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.