Lecture notes

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


• Abstract matching logic (2025).