Similar Items: A Theory of Formal Choreographic Languages
- Pact: A Choreographic Language for Agentic Ecosystems
- Formal Languages, Formally and Coinductively
- Formal Theories for Linear Algebra
- The Formal Theory of Monads, Univalently
- Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
- Abstract Completion, Formalized