Relational reasoning about contexts (1998)

by Søren B Lassen
Venue:Higher Order Operational Techniques in Semantics, Publications of the Newton Institute