Programming languages and applied logic
Results
Filter
Current filters
Refine results
Results
Cultures of Programming
Proof Theory and Logic Programming
Polynomial Functors
Polynomial Functors
Introduction to Homotopy Type Theory
Syntax and Semantics of Petri Nets
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Session Types
Digital Behavior
Initial Algebras and Terminal Coalgebras
Initial Algebras and Terminal Coalgebras
Programming in Ada 2022
Topological Duality for Distributive Lattices
Topological Duality for Distributive Lattices
Introducing String Diagrams
