247 results in Programming Languages and Applied Logic
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 January 2025
-
- Book
- Export citation
Digital Behavior
- Evidence-Based Digital Design
- Coming soon
-
- Expected online publication date:
- December 2024
- Print publication:
- 31 December 2024
-
- Book
- Export citation
Programming in Ada 2022
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
The Largest Suslin Axiom
-
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024
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