247 results in Programming Languages and Applied Logic
Digital Behavior
- Evidence-Based Digital Design
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 January 2025
-
- Book
- Export citation
![](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
![](https://assets.cambridge.org/97810095/64779/cover/9781009564779.jpg)
Programming in Ada 2022
- Coming soon
-
- Expected online publication date:
- July 2024
- Print publication:
- 31 July 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
![](http://assets.cambridge.org/97810094/37189/cover/9781009437189.jpg)
A Theory of Truth
-
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023
![](http://assets.cambridge.org/97810093/17863/cover/9781009317863.jpg)
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
![](http://assets.cambridge.org/97810092/11918/cover/9781009211918.jpg)
Joy with Java
- Fundamentals of Object Oriented Programming
-
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023
-
- Textbook
- Export citation
![](http://assets.cambridge.org/97811088/33769/cover/9781108833769.jpg)
Introduction to Choreographies
-
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023
![](http://assets.cambridge.org/97813165/10865/cover/9781316510865.jpg)
Handbook of Constructive Mathematics
-
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023
![](http://assets.cambridge.org/97813165/13460/cover/9781316513460.jpg)
200 Problems on Languages, Automata, and Computation
-
- Published online:
- 14 April 2023
- Print publication:
- 20 April 2023
![](https://assets.cambridge.org/97813165/11947/cover/9781316511947.jpg)
Software Engineering
- Basic Principles and Best Practices
-
- Published online:
- 09 December 2022
- Print publication:
- 08 December 2022
-
- Textbook
- Export citation
![](https://assets.cambridge.org/97811088/40682/cover/9781108840682.jpg)
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022
![](https://assets.cambridge.org/97813166/32055/cover/9781316632055.jpg)
Programming Languages
- Build, Prove, and Compare
-
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022
-
- Textbook
- Export citation
![](https://assets.cambridge.org/97810091/25802/cover/9781009125802.jpg)
Real World OCaml: Functional Programming for the Masses
-
- Published online:
- 22 September 2022
- Print publication:
- 13 October 2022
-
- Book
-
- You have access
- Open access
- Export citation
![](https://assets.cambridge.org/97811087/20847/cover/9781108720847.jpg)
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
![](https://assets.cambridge.org/97811089/49477/cover/9781108949477.jpg)
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
![](https://assets.cambridge.org/97810092/29692/cover/9781009229692.jpg)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
![](https://assets.cambridge.org/97810092/29487/cover/9781009229487.jpg)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
![](https://assets.cambridge.org/97810091/81341/cover/9781009181341.jpg)
Programming in Ada 2012 with a Preview of Ada 2022
-
- Published online:
- 05 May 2022
- Print publication:
- 19 May 2022
![](https://assets.cambridge.org/97811088/33349/cover/9781108833349.jpg)
Essentials of Software Testing
-
- Published online:
- 19 August 2021
- Print publication:
- 19 August 2021
-
- Textbook
- Export citation