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

• Άλλοι συγγραφείς: Moggi, Eugenio (Επιμελητής έκδοσης), Rosolini, Giuseppe (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer 1997
• Σειρά: Lecture notes in computer science 1290
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική, Συμβολική και μαθηματική