Algebraic Operations and Generic Effects (2003)

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