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