Pawel Urzyczyn
AuthID: R-00K-VJR
1
TÃTULO: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
AUTORES: Pawel Urzyczyn;
PUBLICAÇÃO: 2005, FONTE: TLCA, VOLUME: 3461
AUTORES: Pawel Urzyczyn;
PUBLICAÇÃO: 2005, FONTE: TLCA, VOLUME: 3461
INDEXADO EM: 
DBLP
DBLP