Category Theory and Computer Science
Subtitle: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Eugenio Moggi (Editor); Giuseppe Rosolini (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 19, 1997
Language: eng
Format: Paperback
Number of pages: 313
ISBN-13: 9783540634553
Subjects: Category Theory; Compilers & interpreters; Computer architecture & logic design; Programming languages; Machine Theory; Computers; Programming Languages - General; Computer Mathematics; Computers - General Information; Logic Design; Computer Books: Internet General; Logic; Computers / Logic Design; Domain Theory; Logical Systems; Mathematics; Categories (Mathematics); Computer Science; Congresses