Higher Order Operational Techniques in Semantics (1998)

by A D Gordon, A M Pitts, Eds