Avariable typed logic of e ects (1995)

by F Honsell, I A Mason, S Smith, C Talcott
Venue:Information and Computation