Pitts (Eds.), Higher Order Operational Techniques (1998)

by A D Gordon, A M
Venue:in Semantics, Publications of the Newton Institute