Generic models for computational effects (2006)

by J Power
Venue:Theoret. Comput. Sci