International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)