Category theory and computer science
7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
CTCS '97
Moggi, Eugenio
Rosolini, Giuseppe
1954-
Biennial Conference on Category Theory in Computer Science 1997 : Santa Margherita Ligure, Italy)
text
conference publication
gw
Berlin
Springer
1997
monographic
eng
313 p.
Eugenio Moggi and Giuseppe Rosolini, eds.
"Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"
Computer science
Mathematics
Congresses
Categories (Mathematics)
Congresses
QA76.9 M35 B53 1997
Lecture notes in computer science ; no. 1290
354063455X
090714
20260817172324.0