Unified algebras and institutions (1989)

by Peter D Mosses
Venue:In LICS’89, Fourth Annual Symposium on Logic in Computer Science