42 results in Cambridge Tracts in Theoretical Computer Science
![](https://assets.cambridge.org/97811088/35466/cover/9781108835466.jpg)
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- September 2024
- Print publication:
- 30 September 2024
-
- Book
- Export citation
![](http://assets.cambridge.org/97810093/49697/cover/9781009349697.jpg)
Topological Duality for Distributive Lattices
- Theory and Applications
-
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024
![](https://assets.cambridge.org/97811084/85418/cover/9781108485418.jpg)
Finite-State Techniques
- Automata, Transducers and Bimachines
-
- Published online:
- 29 July 2019
- Print publication:
- 01 August 2019
![](https://assets.cambridge.org/97811071/77895/cover/9781107177895.jpg)
Introduction to Coalgebra
- Towards Mathematics of States and Observation
-
- Published online:
- 22 December 2016
- Print publication:
- 27 October 2016
![](https://assets.cambridge.org/97811070/28364/cover/9781107028364.jpg)
Temporal Logics in Computer Science
- Finite-State Systems
-
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016
![](https://assets.cambridge.org/97811070/17788/cover/9781107017788.jpg)
Nominal Sets
- Names and Symmetry in Computer Science
-
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013
![](https://assets.cambridge.org/97811070/04979/cover/9781107004979.jpg)
Advanced Topics in Bisimulation and Coinduction
-
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011
![](https://assets.cambridge.org/97805218/20493/cover/9780521820493.jpg)
Process Algebra: Equational Theories of Communicating Processes
-
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009
![](https://assets.cambridge.org/97805218/34490/cover/9780521834490.jpg)
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005
![](https://assets.cambridge.org/97805218/02000/cover/9780521802000.gif)
Modal Logic
-
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001
![](https://assets.cambridge.org/97805217/79111/cover/9780521779111.jpg)
Basic Proof Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000
![](https://assets.cambridge.org/97805211/06597/cover/9780521106597.jpg)
Hybrid Graph Theory and Network Analysis
-
- Published online:
- 20 March 2010
- Print publication:
- 02 September 1999
![](https://assets.cambridge.org/97805216/41708/cover/9780521641708.jpg)
Data Refinement
- Model-Oriented Proof Methods and their Comparison
-
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998
![](https://assets.cambridge.org/97805216/22776/cover/9780521622776.jpg)
Domains and Lambda-Calculi
-
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998
![](https://assets.cambridge.org/97805214/65182/cover/9780521465182.jpg)
Basic Simple Type Theory
-
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997
![](https://assets.cambridge.org/97805215/83862/cover/9780521583862.jpg)
Information Flow
- The Logic of Distributed Systems
-
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997
![](https://assets.cambridge.org/97805216/02808/cover/9780521602808.jpg)
Epistemic Logic for AI and Computer Science
-
- Published online:
- 11 November 2009
- Print publication:
- 24 November 1995
![](https://assets.cambridge.org/97805214/65199/cover/9780521465199.gif)
Free Choice Petri Nets
-
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995
![](https://assets.cambridge.org/97805214/60897/cover/9780521460897.gif)
The Uncertain Reasoner's Companion
- A Mathematical Perspective
-
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995
![](https://assets.cambridge.org/97805213/83448/cover/9780521383448.gif)
Mathematical Theory of Domains
-
- Published online:
- 05 June 2012
- Print publication:
- 22 September 1994