Lecture notes

• Matching logic - a new axiomatization (with Dafina Trufaş), arXiv:2506.13801 [cs.LO] (2025).


• Notes on applicative matching logic, arXiv:2506.10088 [cs.LO] (2025).


• Abstract matching logic (2025).