1
|
Material Type: Livro
|
|
Category theory and computer programming proceedings
Workshop on Category Theory and Computer Programming (1. 1985 Guildford) David H Pitt
Berlin Springer 1986
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.240 ex.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Category theory and computer science proceedings
Workshop on Category Theory and Computer Programming (3. 1989 Manchester) David H Pitt
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.389 ex.1 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Category theory and computer science proceedings
Workshop on Category Theory and Computer Programming (4. 1991 Paris) David H Pitt
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.530 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Category theory and computer science proceedings
Workshop on Category Theory and Computer Programming, Edinburgh, 1987 David H Pitt
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.283 ex.1 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Category theory and computer science proceedings
Workshop on Category Theory and Computer Programming (6. 1995 Cambridge) David H Pitt; David E Rydeheard; Peter T Johnstone
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.953 e.1 ) e outros locais(Acessar)
|