Typed lambda calculi and applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /

by International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Pawel.
Published 2005.

Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

by International Conference on Typed Lambda Calculi and Applications, Curien, P. L.
Published 2009.

Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /

by International Conference on Typed Lambda Calculi and Applications, Ronchi Della Rocca, Simona.
Published 2007.