An Operational Logic of Effects (1996)

by Jacob Frost , Ian A. Mason
Venue:In Proceedings of the Australasian Theory Symposium, CATS ’96
Citations:6 - 2 self