- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
Contents
1. Domain theory ; 2. Denotational semantics ; 3. Algebraic semantics ; 4. The semantics of types in programming languages