Category theory and computer programming proceedings
ABCD PBi


Category theory and computer programming proceedings

 
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 )