A variable typed logic of effects. Submitted to Information and Computation (1993)

by F Honsell, I A Mason, S Smith, C Talcott