Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997

• Other Authors: Moggi, Eugenio (Editor), Rosolini, Giuseppe (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer 1997
• Series: Lecture notes in computer science 1290
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική, Συμβολική και μαθηματική