Pawel Urzyczyn
AuthID: R-00K-VJR
1
TITLE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
AUTHORS: Pawel Urzyczyn;
PUBLISHED: 2005, SOURCE: TLCA, VOLUME: 3461
AUTHORS: Pawel Urzyczyn;
PUBLISHED: 2005, SOURCE: TLCA, VOLUME: 3461
INDEXED IN: 
DBLP
DBLP