Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings - Curien, Pierre-Louis (Springer Berlin Heidelberg : Imprint: Springer, 2009)