Beholdninger: Category theory and computer science :

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Conference on category theory and computer science :Manchester, GB
Andre forfattere:	Rydeheard, David E., 1954- (Directeur de la publication), Dybjer, Peter, 19..- (Directeur de la publication), Pitt, David H., 1946- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 389
Fag:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Catégories (mathématiques) Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	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, Manchester, UK, September 5-8, 1989, proceedings, D.H. Pitt, D.E. Rydeheard, P. Dybjer... [et al.] (eds.), Berlin, Springer-Verlag, 1989, 1 vol. (VI-365 p.), Lecture notes in computer science, 3-540-51662-X • Category Theory and Computer Science, Texte imprimé, 9783662175101