Higher Order Operational Techniques in Semantics Gordon, Andrew D. Pitts, Andrew M. 9780521631686 Publications of the Newton Institute Innbundet 22.01.1998 Engelsk Produseres på bestilling
