1
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /