A Variable Typed Logic of Effects (1993)

Cached

Download Links

by Furio Honsell , Ian A. Mason , Scott Smith , Carolyn Talcott
Venue:Information and Computation
Citations:49 - 13 self