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 : 4th International Conference, Tlca'99...

Typed Lambda Calculi and Applications Girard, Jean-Yves:

Hasegawa - Typed Lambda Calculi and Applications 11th International - X555z

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013,

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

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