Applications of category theory to programming and program specification
Edición de la obra Applications of category theory to programming and program specification
| Autor | D. E. Rydeheard |
|---|---|
| Editorial | University of Edinburgh, Dept. of Computer Science |
| Fecha de publicación | 1981 |
| Lugar | Edinburgh, U.K |
| Idioma | inglés |
| Páginas | 230 |
| Número de Cutter | R992a |