Programming languages and applied logic
Results
Syntax and Semantics of Petri Nets
Polygraphs: From Rewriting to Higher Categories
Digital Behavior
Digital Behavior
Initial Algebras and Terminal Coalgebras
Programming in Ada 2022
Topological Duality for Distributive Lattices
Introducing String Diagrams
Joy with Java
Introduction to Choreographies
Handbook of Constructive Mathematics
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
