Rydeheard,, David E.
Computational category theory / David E. Rydeheard, Rod M. Burstall
Computational category theory / David E. Rydeheard, Rod M. Burstall
. - New York : Prentice Hall, 1988
. - XIV, 257 p. 24 cm
. - (Prentice-Hall international series in computer science)
0-13-162736-8 (Encadernado)
519.68