Relational reasoning about contexts (1998)

by S B Lassen
Venue:In Higher Order Operational Techniques in Semantics