Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21--23, 2005. Proceedings.
scientific article