On uniform definability of types over finite sets - Vincent Guingona (2010)