“...International Conference on Typed Lambda Calculi and Applications Nara, Japonsko)...”