Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
Eugenio Moggi, Giuseppe Rosolini (eds.)
Bok Engelsk 1997 CTCS '97
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | 313 s. : ill.
|
Emner | |
ISBN | 354063455X
|