Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science (1290), Band 1290)

Proceedings

von: Eugenio Moggi · Giuseppe Rosolini

Taschenbuch

EAN=ISBN-13: 978-3-540-63455-3

ISBN-10: 3-540-63455-X

Springer · 2008