Authors: Girard, JY Urzyczyn, P

Citation: Jy. Girard et P. Urzyczyn, Preface, FUNDAM INF, 45(1-2), 2001, pp. NIL_5-NIL_5

Authors: Splawski, Z Urzyczyn, P

Citation: Z. Splawski et P. Urzyczyn, Type fixpoints: Iteration vs. recursion, ACM SIGPL N, 34(9), 1999, pp. 102-113

Authors: Dezani-Ciancaglini, M Tiuryn, J Urzyczyn, P

Citation: M. Dezani-ciancaglini et al., Discrimination by parallel observers: The algorithm, INF COMPUT, 150(2), 1999, pp. 153-186

Authors: Kfoury, AJ della Rocca, SR Tiuryn, J Urzyczyn, P

Citation: Aj. Kfoury et al., Alpha-conversion and typability, INF COMPUT, 150(1), 1999, pp. 1-21