Jerzy Tiuryn - Papers
-
On the Elimination of Alpha-Conversion in
Higher-Order Lambda-Calculi --- with A.J.Kfoury, S.Ronchi and
P.Urzyczyn, updated 09/93
-
Equational Axiomatization of Bicoercibility for Polymorphic Types
--- FST-TCS'95
-
Satisfiability of Inequalities in a Poset --- with V.Pratt,
updated 10/95
-
Untyped Lambda-Calculus with Input-Output --- CAAP'96, with M.Wand
-
The Subtyping Problem
for Second-Order Types is Undecidable --- with P.Urzyczyn, full
version, updated 11/95
-
A Sequent Calculus for Subtyping Polymorphic Types --- full
version, updated 04/96
-
Subtyping over a Lattice --- full version of Goedel Colloquium
talk, Vienna'97, updated 08/97
-
Wstep do
teorii mnogosci i logiki, skrypt, 1-szy rok Informatyka, wersja
10/98 (in Polish) Postscript (360K)
-
Products and Polymorphic Subtyping Joint
work with V. Bono. [PS.GZ 120K]
-
Contextual Alignment of Biological
Sequences, Joint work
with A. Gambin, S. Lasota, R. Szklarczyk, and J. Tyszkiewicz. [PS.GZ 225K]
-
Type Inference for Nested Self Types.
Joint work with V. Bono nad P. Urzyczyn [PS.GZ 130K]
-
A case study of genome evolution: from continuos
to discrete time model , MFCS 2004 paper. Joint work with R. Rudnicki and
D. Wojtowicz. [PS 295K]
-
Fixing some typos in the MFCS 2004
paper [PS 50K]