Category theory and computer programming proceedings
ABCD PBi
Category theory and computer programming proceedings
Autor:
Workshop on Category Theory and Computer Programming (1. 1985 Guildford)
David H Pitt
Materias:
CIÊNCIA DA COMPUTAÇÃO
;
TEORIA DA COMPUTAÇÃO
Notas locales:
[Ed] samson abramsky, axel poigne, david e rydeheard
Editor:
Berlin Springer
Fecha de creación:
1986
Formato:
519 p.
Idioma:
Inglés
Disponible:
ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.240 ex.1 )
IME - Inst. Matemática e Estatística (S L471c v.240 )