Algebraic Operations and Generic Effects (2003)

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