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