Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedings
International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan) Pawel Urzyczyn
Berlin Springer New York c2005
Acesso online. A biblioteca também possui exemplares impressos.