Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Not Issued with a Dust Jacket. 8vo-over 7¾"-9¾" tall. First published in 1992, this book is the second printing from 1993, 419 pages, illustrated with Tables and Figures. "This book expounds the basic motivations and philosophy underlying the applications of semantic techniques in programming language theory. There is an emphasis on the structures used in semantics and the techniques that have been developed for relating various approaches to the semantics of programming languages, particularly for languages with higher-order functions. Type semantics are the central organizational theme of the discussion." FINE HARDCOVER.