Cambridge Series  
Home > Series > Academic > Computer science > Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science

Back to Computer science

Editors: S. Abramsky, P. H. Aczel, Y. Gurevich, J. V. Tucker, J. W. de Bakker, Professor C. J. van Rijsbergen

This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essential to the appreciation of the foundations of computer science. The series covers the complete field of theoretical computer science, including mathematical foundations of computer science, formal methods of reasoning about programs and data, and formal semantics of programs and data, including formal semantics for natural language, pictures, and sound.

Sort by:  Title | Author | Publication Date | Series Number

There are 58 titles in this series...

[11] A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

[11] A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

[26] Action Semantics

[36] Algebraic Specification of Communication Protocols

[1] Algorithmic Information Theory

[17] Applications of Process Algebra

[43] Basic Proof Theory

2nd Edition

[42] Basic Simple Type Theory

[42] Basic Simple Type Theory

[29] Belief Revision

[30] Computational Learning Theory

[54] Concurrency Verification

Introduction to Compositional and Non-compositional Methods

  • Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
  • Hardback | Published November 2001
  • More details | Add to basket

[47] Data Refinement

Model-Oriented Proof Methods and their Comparison

[47] Data Refinement

Model-Oriented Proof Methods and their Comparison

[28] Deductive and Declarative Programming

[51] Derivation and Computation

Taking the Curry-Howard correspondence seriously

[15] Design Theory and Computer Science

[15] Design Theory and Computer Science

[46] Domains and Lambda-Calculi

[46] Domains and Lambda-Calculi

[41] Epistemic Logic for AI and Computer Science

[19] Extensions of First-Order Logic

[6] Formal Methods in Artificial Intelligence

[8] Formal Semantics and Pragmatics for Natural Language Querying

[35] Formal Specification and Design

[40] Free Choice Petri Nets

[31] Higher Order Logic and Hardware Verification

[31] Higher Order Logic and Hardware Verification

[49] Hybrid Graph Theory and Network Analysis

[49] Hybrid Graph Theory and Network Analysis

[44] Information Flow

The Logic of Distributed Systems

[44] Information Flow

The Logic of Distributed Systems

[4] Lambda-calculus, Combinators and Functional Programming

[2] Logic and Computation

Interactive Proof with Cambridge LCF

[22] Mathematical Theory of Domains

[38] Metamathematics, Machines and Gödel's Proof

[53] Modal Logic

[23] Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

[23] Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

[12] Nonmonotonic Reasoning

Logical Foundations of Commonsense

[33] Predicate Transformer Semantics

[18] Process Algebra

[50] Process Algebra: Equational Theories of Communicating Processes

[27] Programs, Recursion and Unbounded Choice

[27] Programs, Recursion and Unbounded Choice

[56] Rippling: Meta-Level Guidance for Mathematical Reasoning

[55] Term Rewriting Systems

[21] The Clausal Theory of Types

[21] The Clausal Theory of Types

[32] The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

[45] The Optimal Implementation of Functional Programming Languages

[39] The Uncertain Reasoner's Companion

A Mathematical Perspective

[10] Theoretical Foundations of VLSI Design

[6] Topology via Logic

[34] Two-Level Functional Languages

[34] Two-Level Functional Languages

[3] Understanding Z

A Specification Language and its Formal Semantics

[9] Updating Logical Databases