A Parameterized BüChi-Landweber Theorem
Type 2 Uncomputability, (Polynomial Functors) and Automata (!)
Multiplicity Equivalence of Context-Free Grammars
PTIME algorithm for parity games
