Category theory and computer science

Biennial Conference on Category Theory and Computer Science, CTCS'97, 7 1997 Santa Margherita Ligure Eugenio Moggi; Giuseppe Rosolini

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1997

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1290 )(Acessar)