Higher Order Operational Techniques in Semantics (Publications of the Newton Institute)

by: Andrew D. Gordon · Andrew M. Pitts Hardcover details (United Kingdom). ISBN: 978-0-521-63168-6 ISBN-10: 0-521-63168-8 Cambridge University Press · 1998