Reasoning about functions with eects (1998)

by Caroline Talcott
Venue:Publications of the Newton Institute