Lecture notes
Notes on applicative matching logic, arXiv:2506.10088 [cs.LO] (2025) Abstract matching logic (2025) Techniques of combinatorial optimization (2017) Ergodic theory and additive combinatorics (2013) Ergodic Ramsey Theory (2011)