Relational Reasoning about Contexts. Higher Order (1998)

by S B Lassen
Venue:Operational Techniques in Semantics