252 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
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
Programming in Ada 2022
- Coming soon
-
- Expected online publication date:
- July 2024
- Print publication:
- 31 July 2024
-
- Book
- Export citation
Topological Duality for Distributive Lattices
- Theory and Applications
-
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024
A Theory of Truth
-
- Published online:
- 07 October 2023
- Print publication:
- 12 October 2023
Introducing String Diagrams
- The Art of Category Theory
-
- Published online:
- 20 July 2023
- Print publication:
- 10 August 2023
Joy with Java
- Fundamentals of Object Oriented Programming
-
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023
-
- Textbook
- Export citation
Introduction to Choreographies
-
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023
Handbook of Constructive Mathematics
-
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023
200 Problems on Languages, Automata, and Computation
-
- Published online:
- 14 April 2023
- Print publication:
- 20 April 2023
Software Engineering
- Basic Principles and Best Practices
-
- Published online:
- 09 December 2022
- Print publication:
- 08 December 2022
-
- Textbook
- Export citation
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022
Programming Languages
- Build, Prove, and Compare
-
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022
-
- Textbook
- Export citation
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
Mathematical Logic and Computation
-
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022
Mathematical Logic through Python
-
- Published online:
- 25 August 2022
- Print publication:
- 15 September 2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond
-
- Published online:
- 25 June 2022
- Print publication:
- 07 July 2022
Programming in Ada 2012 with a Preview of Ada 2022
-
- Published online:
- 05 May 2022
- Print publication:
- 19 May 2022
Essentials of Software Testing
-
- Published online:
- 19 August 2021
- Print publication:
- 19 August 2021
-
- Textbook
- Export citation