Good Types Are Useful for Learning. - Isabelle Tellier; Daniel Dudau Sofronie (Logic and Grammar, 2011)