A First Order Logic of Effects (1996)

Cached

Download Links

by Ian A. Mason
Venue:Theoretical Computer Science
Citations:4 - 0 self