@book{15666,
	author = {Moggi, Eugenio and Biennial Conference on Category Theory in Computer Science},
	title = {Category theory and computer science :},
	publisher = {Springer,},
	year = {1997},
	address = {Berlin :},
	note = {"Seventh Meeting of the Biennial Conference on Category Theory in Computer Science"}
}