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
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: 313 p. fig. 24 cm.
• Βιβλιογραφία: Includes bibliographical references
• ISBN: 354063455X