Generic models for computational effects, (2006)

by J Power
Venue:Theor. Comput. Sci.