Handbook of Logic in Computer Science: Volume 3. Semantic Structures (Hardcover)

S. Abramsky

ISBN 10: 019853762X / ISBN 13: 9780198537625

Editore: Oxford University Press, Oxford, 1995

Riguardo questo articolo

Hardcover. 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. This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental topics of semantics in logic and computation.This volume brings the reader the latest results and up-to-date and in-depth research - it is an indispensable reference source for workers in the field. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780198537625

Dati bibliografici

Titolo: Handbook of Logic in Computer Science: ...

Casa editrice: Oxford University Press, Oxford

Data di pubblicazione: 1995

Legatura: Hardcover

Condizione: new

Descrizione articolo

Riassunto:

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.

Contenuti:

• 1: Domain theory
• 2: Denotational semantics
• 3: Algebraic semantics
• 4: The semantics of types in programming languages