An algebra of mixin modules (1997)

by D Ancona, E Zucca
Venue:WADT '97 12th Workshop on Algebraic Development Techniques -- Selected Papers