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:48 - 12 self