Authors: Tiuryn, J

Citation: J. Tiuryn, A sequent calculus for subtyping polymorphic types, INF COMPUT, 164(2), 2001, pp. 345-369

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

Authors: Tiuryn, J Radomski, JP Slonimski, PP

Citation: J. Tiuryn et al., Striking properties of duplicating DNA molecules. A Markov chain model demonstrates the convergence of amplified molecules to regular series of multiples of 2, CR AC S III, 322(6), 1999, pp. 455-459