Algebraic Operations and Generic Effects (2003)

by Gordon Plotkin , John Power
Venue:Applied Categorical Structures
Citations:32 - 7 self