Higher Order Operational Techniques in Semantics by Gordon, Andrew D. (English)
112,79 €
It treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped. Introduction; 1. Operational reasoning about primitive objects A. Gordon; 2.
Jetzt bei Ebay:
