Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Enregistré dans:
Autres auteurs: | |
---|---|
Format: | Livre |
Langue: | English |
Publié: |
Berlin ;
New York : Springer-Verlag,
c1986.
|
Collection: | Lecture notes in computer science ;
240. |
Sujets: |
CARM 1 Store
Cote: |
A2:AM13E0 C05525 |
---|---|
Exemplaire 1 | Disponible Réserver |