Typed lambda calculi and applications 7th International Conference, TLCA 2005, Nara, Japan, April 21 -23, 2005 ; proceedings (Springer, 2005)