Higher order operational techniques in semantics - Gordon, Andrew D., 1964-; Pitts, A. M. 1956- (Publications of the Newton Institute, 1998)