Algebraic operations and generic effects (0)

by G D Plotkin, J Power
Venue:Applied Categorical Structures