Typed Lambda Calculi And Applications : 7th International Conference, Tlca 20...

Typed Lambda Calculi and Applications : 5th International Conference, Tlca 20...

Typed Lambda Calculi and Applications : 11th International Conference, Tlca 2...

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007,

Typed Lambda Calculi and Applications : 11th International Conference, Tlca 2...

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011,

Typed Lambda Calculi and Applications : 4th International Conference, Tlca'99...