Lecture notes

• Applicative matching logic, 2024.