Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings /

Salvato in:
Dettagli Bibliografici
Ente Autore: Summer Conference on Category Theory and Computer Science
Altri autori: Pitt, David (David H.)
Natura: Atti del Convegno Libro
Lingua:English
Pubblicazione: Berlin ; New York : Springer-Verlag, c1991.
Serie:Lecture notes in computer science ; 530.
Soggetti:
LEADER 01519nam a2200325 a 4500
001 c000162036
003 CARM
005 19921019000000.0
008 910726s1991 gw a b 100 0 eng
010 |a 91029950 //r92 
019 1 |a 8404939  |5 LACONCORD2021 
020 |a 354054495X  |b (Springer-Verlag Berlin Heidelberg New York) 
020 |a 038754495X  |b (Springer-Verlag New York Berlin Heidelberg) 
035 |a (OCoLC)24246280  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC 
050 0 0 |a QA75.5  |b .S86 1991 
082 0 0 |a 005.1  |2 20 
245 0 0 |a Category theory and computer science :  |b Paris, France, September 3-6, 1991 : proceedings /  |c D.H. Pitt ... [et al.] (eds.) 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1991. 
300 |a 301 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 530. 
500 |a "Papers ... presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September 3-6, 1991"--Pref. 
504 |a Includes bibliographical references. 
650 0 |a Computer science  |v Congresses. 
650 0 |a Categories (Mathematics)  |x Congresses. 
700 1 |a Pitt, David  |q (David H.) 
711 2 |a Summer Conference on Category Theory and Computer Science  |n (4th :,  |d 1991 :  |c Paris, France) 
852 8 |b CARM  |h A2:AL20D0  |i C05348  |p 0213793  |f BK 
999 f f |i 58b1c9d8-95fd-57a6-91df-1ecba3fe404e  |s 82318ddb-4763-576e-acfb-239d39ee1085 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05348  |f A2:AL20D0  |h Other scheme  |i book  |m 0213793