Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 6, 1997 : proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability t...

Description complète

Détails bibliographiques

Collectivité auteur:	International Conference on category theory and computer science :Santa Margherita Ligure, Italie
Autres auteurs:	Moggi, Eugenio (Directeur de la publication), Rosolini, Giuseppe, 1954- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1290
Sujets:	Informatique Langages de programmation Logique symbolique et mathématique Informatique > Mathématiques K-théorie Catégories (mathématiques) Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Category theory and computer science, 7th international conference, CTCS ±97, S. Margheria Ligure, Italy, September 1997, proceedings, Eugenio Moggi, Giuseppe Rosolini (eds.), 1997, Berlin, Springer, 1 vol. (313 p.), Lecture notes in computer science, 3-540-63455-X • Category Theory and Computer Science, Texte imprimé, 9783662204146